MkDocs configuration and content for info/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

134 lines
5.3 KiB

  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 config.site_description %}<meta name="description" content="{{ config.site_description }}">{% endif %}
  8. {% if config.site_author %}<meta name="author" content="{{ config.site_author }}">{% endif %}
  9. {% if page.canonical_url %}<link rel="canonical" href="{{ page.canonical_url }}">{% endif %}
  10. <link rel="shortcut icon" href="{{ 'img/favicon.ico'|url }}">
  11. {% block htmltitle %}
  12. <title>{% if page.title %}{{ page.title }} - {% endif %}{{ config.site_name }}</title>
  13. {% endblock %}
  14. <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.12.0/css/all.css">
  15. <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.12.0/css/v4-shims.css">
  16. <link rel="stylesheet" href="//cdn.jsdelivr.net/npm/hack-font@3.3.0/build/web/hack.min.css">
  17. <link href='//rsms.me/inter/inter.css' rel='stylesheet' type='text/css'>
  18. <link href='//fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,700italic,400,300,600,700&subset=latin-ext,latin' rel='stylesheet' type='text/css'>
  19. <link href="{{ 'css/bootstrap-custom.min.css'|url }}" rel="stylesheet">
  20. <link href="{{ 'css/base.min.css'|url }}" rel="stylesheet">
  21. <link href="{{ 'css/cinder.min.css'|url }}" rel="stylesheet">
  22. {% if config.theme.highlightjs is defined and config.theme.highlightjs is sameas false %}
  23. {% else %}
  24. {% if config.theme.colorscheme %}
  25. <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/{{ config.theme.colorscheme }}.min.css">
  26. {% else %}
  27. <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
  28. {% endif %}
  29. {% endif %}
  30. {%- for path in config['extra_css'] %}
  31. <link href="{{ path|url }}" rel="stylesheet">
  32. {%- endfor %}
  33. <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
  34. <!--[if lt IE 9]>
  35. <script src="https://cdn.jsdelivr.net/npm/html5shiv@3.7.3/dist/html5shiv.min.js"></script>
  36. <script src="https://cdn.jsdelivr.net/npm/respond.js@1.4.2/dest/respond.min.js"></script>
  37. <![endif]-->
  38. {% if config.google_analytics %}
  39. <script>
  40. (function(i, s, o, g, r, a, m) {
  41. i['GoogleAnalyticsObject'] = r;
  42. i[r] = i[r] || function() {
  43. (i[r].q = i[r].q || []).push(arguments)
  44. }, i[r].l = 1 * new Date();
  45. a = s.createElement(o),
  46. m = s.getElementsByTagName(o)[0];
  47. a.async = 1;
  48. a.src = g;
  49. m.parentNode.insertBefore(a, m)
  50. })(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga');
  51. ga('create', '{{ config.google_analytics[0] }}', '{{ config.google_analytics[1] }}');
  52. ga('send', 'pageview');
  53. </script>
  54. {% endif %}
  55. {% block extrahead %} {% endblock %}
  56. </head>
  57. <body{% if page and page.is_homepage %} class="homepage" {% endif %}>
  58. {% include "nav.html" %}
  59. <div class="container">
  60. {% block content %}
  61. {% if page.meta.disable_toc %}
  62. <div class="col-md-12" role="main">{% include "content.html" %}</div>
  63. {% else %}
  64. <div class="col-md-3">{% include "toc.html" %}</div>
  65. <div class="col-md-9" role="main">{% include "content.html" %}</div>
  66. {% endif %}
  67. {% endblock %}
  68. </div>
  69. <footer class="col-md-12 text-center">
  70. {% block footer %}
  71. <hr>
  72. <p>{% if config.copyright %}
  73. <small>{{ config.copyright }}</small><br>
  74. {% endif %}
  75. <small>Documentation built with <a href="http://www.mkdocs.org/">MkDocs</a>.</small>
  76. </p>
  77. {% if page and page.meta.revision_date %}<br>
  78. <small>Revised on: {{ page.meta.revision_date }}</small>
  79. {% endif %}
  80. {% endblock %}
  81. </footer>
  82. {%- block scripts %}
  83. <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
  84. <script src="{{ 'js/bootstrap-3.0.3.min.js'|url }}"></script>
  85. {% if config.theme.highlightjs is defined and config.theme.highlightjs is sameas false %} <!-- default is to include highlightjs -->
  86. {% else %}
  87. <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
  88. {% if config.theme.hljs_languages %}
  89. {%- for lang in config.theme.hljs_languages %}
  90. <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/languages/{{lang}}.min.js"></script>
  91. {%- endfor %}
  92. {% endif %}
  93. <script>hljs.initHighlightingOnLoad();</script>
  94. {% endif %}
  95. <script>var base_url = {{ base_url | tojson }}</script>
  96. {% if config.shortcuts %}
  97. <script>var shortcuts = {{ config.shortcuts | tojson }}</script>
  98. {% endif %}
  99. <script src="{{ 'js/base.js'|url }}"></script>
  100. {%- for path in config['extra_javascript'] %}
  101. <script src="{{ path|url }}"></script>
  102. {%- endfor %}
  103. {%- endblock %}
  104. {% if 'search' in config['plugins'] %}{%- include "search-modal.html" %}{% endif %}
  105. {%- include "keyboard-modal.html" %}
  106. </body>
  107. </html>
  108. {% if page and page.is_homepage %}
  109. <!--
  110. MkDocs version : {{ mkdocs_version }}
  111. Build Date UTC : {{ build_date_utc }}
  112. -->
  113. {% endif %}