doc/nlopt-mkdocs-theme/base.html

   1 <!DOCTYPE html>
   2 <!--[if IE 8]><html class="no-js lt-ie9" lang="en" > <![endif]-->
   3 <!--[if gt IE 8]><!--> <html class="no-js" lang="en" > <!--<![endif]-->
   4 <head>
   5   <meta charset="utf-8">
   6   <meta name="viewport" content="width=device-width, initial-scale=1.0">
   7   {% block htmltitle %}
   8   <title>{% if page_title %}{{ page_title }} - {% endif %}{{ site_name }}</title>
   9   {% endblock %}
  10
  11   {% if favicon %}<link rel="shortcut icon" href="{{ favicon }}">
  12   {% else %}<link rel="shortcut icon" href="{{ base_url }}/img/favicon.ico">{% endif %}
  13
  14   {# CSS #}
  15   <link href='https://fonts.googleapis.com/css?family=Lato:400,700|Roboto+Slab:400,700|Inconsolata:400,700' rel='stylesheet' type='text/css'>
  16
  17   <link rel="stylesheet" href="{{ base_url }}/css/theme.css" type="text/css" />
  18   <link rel="stylesheet" href="{{ base_url }}/css/theme_extra.css" type="text/css" />
  19   <link rel="stylesheet" href="{{ base_url }}/css/highlight.css">
  20   {%- for path in extra_css %}
  21   <link href="{{ path }}" rel="stylesheet">
  22   {%- endfor %}
  23
  24   {% if current_page %}
  25   <script>
  26     // Current page data
  27     var mkdocs_page_name = "{{ current_page.input_path.replace('.md', '') }}"
  28   </script>
  29   {% endif %}
  30   <script src="{{ base_url }}/js/jquery-2.1.1.min.js"></script>
  31   <script src="{{ base_url }}/js/modernizr-2.8.3.min.js"></script>
  32   <script type="text/javascript" src="{{ base_url }}/js/highlight.pack.js"></script>
  33   <script src="{{ base_url }}/js/theme.js"></script>
  34
  35   {%- block extrahead %} {% endblock %}
  36
  37   {%- for path in extra_javascript %}
  38   <script src="{{ path }}"></script>
  39   {%- endfor %}
  40
  41   {% if google_analytics %}
  42   <script>
  43       (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
  44       (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
  45       m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
  46       })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
  47
  48       ga('create', '{{ google_analytics[0] }}', '{{ google_analytics[1] }}');
  49       ga('send', 'pageview');
  50   </script>
  51   {% endif %}
  52 </head>
  53
  54 <body class="wy-body-for-nav" role="document">
  55
  56   <div class="wy-grid-for-nav">
  57
  58     {# SIDE NAV, TOGGLES ON MOBILE #}
  59     <nav data-toggle="wy-nav-shift" class="wy-nav-side stickynav">
  60
  61       <p align="center"
  62       <a href="{{ homepage_url }}">
  63          <img align="center" height="auto" width="100%"
  64               src="{{ base_url }}/img/nlopt-logo-200px.png"
  65       </a>
  66
  67       <div class="wy-side-nav-search">
  68         <a href="{{ homepage_url }}" class="icon icon-home"> {{ site_name }}</a>
  69         {% include "searchbox.html" %}
  70       </div>
  71
  72       <div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
  73         <ul class="current">
  74           {% for nav_item in nav %}
  75             <li>{% include "toc.html" %}<li>
  76           {% endfor %}
  77         </ul>
  78       </div>
  79       &nbsp;
  80     </nav>
  81
  82     <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
  83
  84       {# MOBILE NAV, TRIGGLES SIDE NAV ON TOGGLE #}
  85       <nav class="wy-nav-top" role="navigation" aria-label="top navigation">
  86         <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
  87         <a href="{{ homepage_url }}">{{ site_name }}</a>
  88       </nav>
  89
  90       {# PAGE CONTENT #}
  91       <div class="wy-nav-content">
  92         <div class="rst-content">
  93           {% include "breadcrumbs.html" %}
  94           <div role="main">
  95             <div class="section">
  96               {% block content %}
  97                 {{ content }}
  98               {% endblock %}
  99             </div>
 100           </div>
 101           {%- block footer %}
 102           {% include "footer.html" %}
 103           {% endblock %}
 104         </div>
 105       </div>
 106
 107     </section>
 108
 109   </div>
 110
 111 {% include "versions.html" %}
 112
 113 </body>
 114 </html>
 115 {% if current_page and current_page.is_homepage %}
 116 <!--
 117 MkDocs version : {{ mkdocs_version }}
 118 Build Date UTC : {{ build_date_utc }}
 119 -->
 120 {% endif %}