web/_layouts/default.html

75 lines
1.8 KiB
HTML
Raw Normal View History

2019-09-30 15:38:41 +03:00
---
layout: compress
# Default layout
---
<!DOCTYPE html>
{% include lang.html %}
{% include assets-origin.html %}
{% capture prefer_mode %}
2020-12-06 20:14:40 +03:00
{% if site.theme_mode %}
data-mode="{{ site.theme_mode }}"
2020-12-06 20:14:40 +03:00
{% endif %}
{% endcapture %}
<html lang="{{ site.lang }}"{{ prefer_mode }}>
2019-09-30 15:38:41 +03:00
{% include head.html %}
<body data-spy="scroll" data-target="#toc" data-topbar-visible="true">
2020-04-16 19:26:58 +03:00
{% include sidebar.html %}
2020-04-16 19:26:58 +03:00
{% include topbar.html %}
<div id="main-wrapper" class="d-flex justify-content-center">
<div id="main" class="container">
2019-09-30 15:38:41 +03:00
2021-12-01 16:48:57 +03:00
{{ content }}
2019-09-30 15:38:41 +03:00
{% include footer.html %}
2019-09-30 15:38:41 +03:00
</div>
2019-09-30 15:38:41 +03:00
{% include search-results.html %}
2020-04-16 19:26:58 +03:00
</div> <!-- #main-wrapper -->
2019-09-30 15:38:41 +03:00
2020-12-09 21:42:46 +03:00
{% if page.mermaid %}
{% include mermaid.html %}
{% endif %}
2019-09-30 15:38:41 +03:00
<div id="mask"></div>
<a id="back-to-top" href="#" aria-label="back-to-top" class="btn btn-lg btn-box-shadow" role="button">
2019-09-30 15:38:41 +03:00
<i class="fas fa-angle-up"></i>
</a>
2019-11-25 15:56:50 +03:00
{% if site.pwa.enabled %}
<div id="notification" class="toast" role="alert" aria-live="assertive" aria-atomic="true"
data-animation="true" data-autohide="false">
<div class="toast-header">
<button type="button" class="ml-2 ml-auto close" data-dismiss="toast" aria-label="Close">
<span aria-hidden="true">&times;</span>
</button>
</div>
<div class="toast-body text-center pt-0">
<p class="pl-2 pr-2 mb-3">{{ site.data.locales[lang].notification.update_found }}</p>
<button type="button" class="btn btn-primary" aria-label="Update">
{{ site.data.locales[lang].notification.update }}
</button>
</div>
</div>
{% endif %}
{% include search-loader.html %}
2019-11-25 15:56:50 +03:00
2021-07-01 11:20:36 +03:00
{% include js-selector.html %}
2019-09-30 15:38:41 +03:00
</body>
</html>