web/_layouts/default.html

54 lines
971 B
HTML
Raw Normal View History

2019-09-30 15:38:41 +03:00
---
layout: compress
# Default layout
---
<!DOCTYPE html>
{% capture prefer_mode %}
2020-12-06 20:14:40 +03:00
{% if site.theme_mode %}
mode="{{ site.theme_mode }}"
2020-12-06 20:14:40 +03:00
{% endif %}
{% endcapture %}
<html lang="{{ site.lang | default: "en-US" }}" {{ prefer_mode }}>
2019-09-30 15:38:41 +03:00
{% include head.html %}
<body data-spy="scroll" data-target="#toc">
2020-04-16 19:26:58 +03:00
{% include sidebar.html %}
2020-04-16 19:26:58 +03:00
{% include topbar.html %}
2020-01-03 16:22:11 +03:00
<div id="main-wrapper">
2019-09-30 15:38:41 +03:00
<div id="main">
{% include refactor-content.html content=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
{% 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>