base.html 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115
  1. <!DOCTYPE html>
  2. <html lang="en">
  3. <head>
  4. <meta charset="utf-8">
  5. <meta http-equiv="X-UA-Compatible" content="IE=edge">
  6. <meta name="viewport" content="width=device-width, initial-scale=1.0">
  7. {% if page_description %}<meta name="description" content="{{ page_description }}">{% endif %}
  8. {% if site_author %}<meta name="author" content="{{ site_author }}">{% endif %}
  9. {% if canonical_url %}<link rel="canonical" href="{{ canonical_url }}">{% endif %}
  10. {% if favicon %}<link rel="shortcut icon" href="{{ base_url }}/{{ favicon }}">
  11. {% else %}<link rel="shortcut icon" href="{{ base_url }}/img/favicon.ico">{% endif %}
  12. <title>{% if page_title %}{{ page_title }} - {% endif %}{{ site_name }}</title>
  13. <link href="{{ base_url }}/css/bootstrap-custom.min.css" rel="stylesheet">
  14. <link href="{{ base_url }}/css/font-awesome-4.0.3.css" rel="stylesheet">
  15. <link href="{{ base_url }}/css/base.css" rel="stylesheet">
  16. <link rel="stylesheet" href="{{ base_url }}/css/highlight.css">
  17. {%- for path in extra_css %}
  18. <link href="{{ path }}" rel="stylesheet">
  19. {%- endfor %}
  20. <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
  21. <!--[if lt IE 9]>
  22. <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
  23. <script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script>
  24. <![endif]-->
  25. {% if google_analytics %}
  26. <script>
  27. (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
  28. (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
  29. m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
  30. })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
  31. ga('create', '{{ google_analytics[0] }}', '{{ google_analytics[1] }}');
  32. ga('send', 'pageview');
  33. </script>
  34. {% endif %}
  35. </head>
  36. <body>
  37. {% include "nav.html" %}
  38. <div class="container">
  39. {% block content %}
  40. <div class="col-md-3">{% include "toc.html" %}</div>
  41. <div class="col-md-9" role="main">{% include "content.html" %}</div>
  42. {% endblock %}
  43. </div>
  44. <footer class="col-md-12">
  45. <hr>
  46. {% if copyright %}
  47. <p>{{ copyright }}</p>
  48. {% endif %}
  49. <p>The Harvey OS team - 2015</p>
  50. </footer>
  51. <script src="{{ base_url }}/js/jquery-1.10.2.min.js"></script>
  52. <script src="{{ base_url }}/js/bootstrap-3.0.3.min.js"></script>
  53. <script src="{{ base_url }}/js/highlight.pack.js"></script>
  54. <script>var base_url = '{{ base_url }}';</script>
  55. <script data-main="{{ base_url }}/mkdocs/js/search.js" src="{{ base_url }}/mkdocs/js/require.js"></script>
  56. <script src="{{ base_url }}/js/base.js"></script>
  57. <script>
  58. function init() {
  59. var imgDefer = document.getElementsByTagName('img');
  60. for (var i=0; i<imgDefer.length; i++) {
  61. if(imgDefer[i].getAttribute('data-src')) {
  62. imgDefer[i].setAttribute('src',imgDefer[i].getAttribute('data-src'));
  63. } } }
  64. window.onload = init;
  65. </script>
  66. {%- for path in extra_javascript %}
  67. <script src="{{ path }}"></script>
  68. {%- endfor %}
  69. <div class="modal" id="mkdocs_search_modal" tabindex="-1" role="dialog" aria-labelledby="Search Modal" aria-hidden="true">
  70. <div class="modal-dialog">
  71. <div class="modal-content">
  72. <div class="modal-header">
  73. <button type="button" class="close" data-dismiss="modal"><span aria-hidden="true">&times;</span><span class="sr-only">Close</span></button>
  74. <h4 class="modal-title" id="exampleModalLabel">Search</h4>
  75. </div>
  76. <div class="modal-body">
  77. <p>
  78. From here you can search these documents. Enter
  79. your search terms below.
  80. </p>
  81. <form role="form">
  82. <div class="form-group">
  83. <input type="text" class="form-control" placeholder="Search..." id="mkdocs-search-query">
  84. </div>
  85. </form>
  86. <div id="mkdocs-search-results"></div>
  87. </div>
  88. <div class="modal-footer">
  89. </div>
  90. </div>
  91. </div>
  92. </div>
  93. </body>
  94. </html>
  95. {% if current_page and current_page.is_homepage %}
  96. <!--
  97. MkDocs version : {{ mkdocs_version }}
  98. Build Date UTC : {{ build_date_utc }}
  99. -->
  100. {% endif %}