<html>
  <!-- solarized_box template -->
  <!-- This template is an extension and modification of the solarized style
       by Prof. Peter Hascke, see http://www.peterhaschke.com, under
       the license http://creativecommons.org/licenses/by-sa/3.0/
       (see http://www.peterhaschke.com/About).
       A major visual change is the replacement of the original blue colors
       by a more yellow-brown color.
  -->
  <head>
  <title>%(title)s</title>
  <link href="https://raw.githubusercontent.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/css/solarized_light_yellow.css" rel="stylesheet" type="text/css" title="light"/>
  <link href="https://raw.githubusercontent.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/css/solarized_dark.css" rel="stylesheet" type="text/css" title="dark"/>
  <link href="https://raw.githubusercontent.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/css/solarized_light_code.css" rel="stylesheet" type="text/css" title="light"/>
  <link href="https://raw.githubusercontent.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/css/solarized_dark_code.css" rel="stylesheet" type="text/css" title="dark"/>
  <link rel="stylesheet" href="https://raw.githubusercontent.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/css/font-awesome.min.css">

  <!-- NOTE: replace rawgit.com by cdn.rawgit.com for production or
  sites with heavy traffic -->
  <script type="text/javascript" src="https://rawgit.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/js/switch-css.js"></script>
  <script type="text/javascript"> set_style_from_cookie(); </script>
  <!-- use highlight.js and styles for code -->
  <script src="https://rawgit.com/hplgit/doconce/master/bundled/html_styles/style_solarized_box/js/highlight.pack.js"></script>
  <script>hljs.initHighlightingOnLoad();</script>
  <!-- note that standard CDN as in http://highlightjs.org/download/
    does not work with this solarized style. -->
  </head>

  <body>
  <div id="main">
    <header>

    <nav role="navigation">
      <ul id="list-nav">
        <!--<li style="width:15%;"><a href="">Some banner link</a>-->
        <li style="width:100%;"><a href="">Table of contents &#x25BC;</a>
            <ul>
%(table_of_contents)s
            </ul>
        </li>
      </ul>
    </nav>
    <br>

    <form style="font-size: 25%"  class="pull-right">
      <a onclick="switch_style('dark'); recordOutboundLink(this, 'Outbound Links', 'dark theme'); return false;"
          value="dark"
          id="dark"
          class="btn btn-mini showtooltip"
          title="switch to dark theme">
          <span><i class="icon-circle"></i></span>
      </a>

      <a onclick="switch_style('light'); recordOutboundLink(this, 'Outbound Links', 'light theme'); return false;"
          value="light"
          id="light"
          class="btn btn-mini showtooltip"
          title="switch to light theme">
          <span><i class="icon-circle-blank"></i></span>
          </a>
    </form>

%(main)s

  </header>
    <footer>
      H. P. Langtangen &#169; 2014 &nbsp; <span class="openwebicons-cc"></span> <span class="openwebicons-cc-by"></span> <span class="openwebicons-cc-sa">
    </footer>

<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
<script src="http://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/js/bootstrap.min.js"></script>
      </div>
  </body>
</html>