2023-11-07 21:04:25 +00:00
|
|
|
---
|
|
|
|
|
layout: table_wrappers
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
<!DOCTYPE html>
|
|
|
|
|
|
|
|
|
|
<html lang="{{ site.lang | default: 'en-US' }}">
|
|
|
|
|
{% include head.html %}
|
|
|
|
|
<body>
|
|
|
|
|
<a class="skip-to-main" href="#main-content">Skip to main content</a>
|
|
|
|
|
{% include icons/icons.html %}
|
|
|
|
|
{% include components/sidebar.html %}
|
|
|
|
|
<div class="main" id="top">
|
|
|
|
|
{% include components/header.html %}
|
|
|
|
|
<div class="main-content-wrap">
|
|
|
|
|
{% include components/breadcrumbs.html %}
|
|
|
|
|
<div id="main-content" class="main-content">
|
|
|
|
|
<main>
|
|
|
|
|
{% if site.heading_anchors != false %}
|
|
|
|
|
{% include vendor/anchor_headings.html html=content beforeHeading="true" anchorBody="<svg viewBox=\"0 0 16 16\" aria-hidden=\"true\"><use xlink:href=\"#svg-link\"></use></svg>" anchorClass="anchor-heading" anchorAttrs="aria-labelledby=\"%html_id%\"" %}
|
|
|
|
|
{% else %}
|
|
|
|
|
{{ content }}
|
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
|
|
{% if page.has_children == true and page.has_toc != false %}
|
|
|
|
|
{% include components/children_nav.html %}
|
|
|
|
|
{% endif %}
|
|
|
|
|
</main>
|
|
|
|
|
{% include components/footer.html %}
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
{% if site.search_enabled != false %}
|
|
|
|
|
{% include components/search_footer.html %}
|
|
|
|
|
{% endif %}
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
{% if site.mermaid %}
|
|
|
|
|
{% include components/mermaid.html %}
|
|
|
|
|
{% endif %}
|
2023-11-07 21:35:07 +00:00
|
|
|
|
2023-11-07 21:04:25 +00:00
|
|
|
<script>
|
2023-11-08 08:17:24 +00:00
|
|
|
/* Expand the sidebar tree by default */
|
|
|
|
|
document
|
|
|
|
|
.querySelectorAll('li.nav-list-item > button.nav-list-expander:not([aria-label="toggle items in Running your own server category"])')
|
2023-11-07 21:04:25 +00:00
|
|
|
.forEach(el => el.parentElement.classList.add('active'))
|
|
|
|
|
</script>
|
2023-11-08 08:17:24 +00:00
|
|
|
|
2023-11-07 21:04:25 +00:00
|
|
|
</body>
|
2023-11-07 21:08:36 +00:00
|
|
|
</html>
|
