55fce7574c
- Improve mode switching JS execution priority - Drop deprecated Web API
59 lines
1 KiB
HTML
59 lines
1 KiB
HTML
---
|
|
layout: compress
|
|
# Default layout
|
|
---
|
|
|
|
<!DOCTYPE html>
|
|
|
|
{% include lang.html %}
|
|
|
|
{% capture prefer_mode %}
|
|
{% if site.theme_mode %}
|
|
mode="{{ site.theme_mode }}"
|
|
{% endif %}
|
|
{% endcapture %}
|
|
|
|
<html lang="{{ site.lang }}"{{ prefer_mode }}>
|
|
|
|
{% include head.html %}
|
|
|
|
{% unless site.theme_mode %}
|
|
{% include mode-toggle.html %}
|
|
{% endunless %}
|
|
|
|
<body data-spy="scroll" data-target="#toc">
|
|
|
|
{% include sidebar.html %}
|
|
|
|
{% include topbar.html %}
|
|
|
|
<div id="main-wrapper">
|
|
<div id="main">
|
|
|
|
{% include refactor-content.html content=content %}
|
|
|
|
{% include footer.html %}
|
|
|
|
</div>
|
|
|
|
{% include search-results.html %}
|
|
|
|
</div> <!-- #main-wrapper -->
|
|
|
|
{% if page.mermaid %}
|
|
{% include mermaid.html %}
|
|
{% endif %}
|
|
|
|
<div id="mask"></div>
|
|
|
|
<a id="back-to-top" href="#" aria-label="back-to-top" class="btn btn-lg btn-box-shadow" role="button">
|
|
<i class="fas fa-angle-up"></i>
|
|
</a>
|
|
|
|
{% include search-loader.html %}
|
|
|
|
{% include js-selector.html %}
|
|
|
|
</body>
|
|
|
|
</html>
|