Skip to content

Commit 32aca18

Browse files
committed
deploy: 717cbf4
1 parent 160a59e commit 32aca18

36 files changed

+1645
-1758
lines changed

404.html

Lines changed: 34 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="light" dir="ltr">
2+
<html lang="en" class="light sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -26,26 +26,29 @@
2626
<link rel="stylesheet" href="fonts/fonts.css">
2727

2828
<!-- Highlight.js Stylesheets -->
29-
<link rel="stylesheet" href="highlight.css">
30-
<link rel="stylesheet" href="tomorrow-night.css">
31-
<link rel="stylesheet" href="ayu-highlight.css">
29+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
30+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
31+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3232

3333
<!-- Custom theme stylesheets -->
3434

35-
</head>
36-
<body class="sidebar-visible no-js">
37-
<div id="body-container">
38-
<!-- Provide site root to javascript -->
35+
36+
<!-- Provide site root and default themes to javascript -->
3937
<script>
40-
var path_to_root = "";
41-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
38+
const path_to_root = "";
39+
const default_light_theme = "light";
40+
const default_dark_theme = "navy";
4241
</script>
43-
42+
<!-- Start loading toc.js asap -->
43+
<script src="toc.js"></script>
44+
</head>
45+
<body>
46+
<div id="body-container">
4447
<!-- Work around some values being stored in localStorage wrapped in quotes -->
4548
<script>
4649
try {
47-
var theme = localStorage.getItem('mdbook-theme');
48-
var sidebar = localStorage.getItem('mdbook-sidebar');
50+
let theme = localStorage.getItem('mdbook-theme');
51+
let sidebar = localStorage.getItem('mdbook-sidebar');
4952

5053
if (theme.startsWith('"') && theme.endsWith('"')) {
5154
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
@@ -59,70 +62,48 @@
5962

6063
<!-- Set the theme before any content is loaded, prevents flash -->
6164
<script>
62-
var theme;
65+
const default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? default_dark_theme : default_light_theme;
66+
let theme;
6367
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6468
if (theme === null || theme === undefined) { theme = default_theme; }
65-
var html = document.querySelector('html');
69+
const html = document.documentElement;
6670
html.classList.remove('light')
6771
html.classList.add(theme);
68-
var body = document.querySelector('body');
69-
body.classList.remove('no-js')
70-
body.classList.add('js');
72+
html.classList.add("js");
7173
</script>
7274

7375
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
7476

7577
<!-- Hide / unhide sidebar before it is displayed -->
7678
<script>
77-
var body = document.querySelector('body');
78-
var sidebar = null;
79-
var sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
79+
let sidebar = null;
80+
const sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
8081
if (document.body.clientWidth >= 1080) {
8182
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
8283
sidebar = sidebar || 'visible';
8384
} else {
8485
sidebar = 'hidden';
8586
}
8687
sidebar_toggle.checked = sidebar === 'visible';
87-
body.classList.remove('sidebar-visible');
88-
body.classList.add("sidebar-" + sidebar);
88+
html.classList.remove('sidebar-visible');
89+
html.classList.add("sidebar-" + sidebar);
8990
</script>
9091

9192
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
92-
<div class="sidebar-scrollbox">
93-
<ol class="chapter"><li class="chapter-item expanded "><a href="intro.html"><strong aria-hidden="true">1.</strong> Intro</a></li><li class="chapter-item expanded "><a href="declaring.html"><strong aria-hidden="true">2.</strong> Declaring MicroVMs</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="options.html"><strong aria-hidden="true">2.1.</strong> Configuration options</a></li><li class="chapter-item expanded "><a href="interfaces.html"><strong aria-hidden="true">2.2.</strong> Network interfaces</a></li><li class="chapter-item expanded "><a href="shares.html"><strong aria-hidden="true">2.3.</strong> Shared directories</a></li><li class="chapter-item expanded "><a href="devices.html"><strong aria-hidden="true">2.4.</strong> Device pass-through</a></li><li class="chapter-item expanded "><a href="cpu-emulation.html"><strong aria-hidden="true">2.5.</strong> CPU emulation</a></li><li class="chapter-item expanded "><a href="output-options.html"><strong aria-hidden="true">2.6.</strong> Output options</a></li><li class="chapter-item expanded "><a href="microvm-options.html"><strong aria-hidden="true">2.7.</strong> MicroVM options reference ⚙️</a></li></ol></li><li class="chapter-item expanded "><a href="packages.html"><strong aria-hidden="true">3.</strong> Running a MicroVM as a package</a></li><li class="chapter-item expanded "><a href="host.html"><strong aria-hidden="true">4.</strong> Preparing a host for declarative MicroVMs</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="simple-network.html"><strong aria-hidden="true">4.1.</strong> Network setup</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="simple-network.html"><strong aria-hidden="true">4.1.1.</strong> A simple network setup</a></li><li class="chapter-item expanded "><a href="advanced-network.html"><strong aria-hidden="true">4.1.2.</strong> Advanced network setup</a></li><li class="chapter-item expanded "><a href="routed-network.html"><strong aria-hidden="true">4.1.3.</strong> Routed network setup</a></li></ol></li><li class="chapter-item expanded "><a href="host-systemd.html"><strong aria-hidden="true">4.2.</strong> Host systemd services</a></li><li class="chapter-item expanded "><a href="host-options.html"><strong aria-hidden="true">4.3.</strong> Host options reference ⚙️</a></li></ol></li><li class="chapter-item expanded "><a href="declarative.html"><strong aria-hidden="true">5.</strong> Declarative MicroVMs</a></li><li class="chapter-item expanded "><a href="microvm-command.html"><strong aria-hidden="true">6.</strong> Imperative MicroVM management</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ssh-deploy.html"><strong aria-hidden="true">6.1.</strong> Deploy via SSH</a></li></ol></li><li class="chapter-item expanded "><a href="conventions.html"><strong aria-hidden="true">7.</strong> Conventions</a></li><li class="chapter-item expanded "><a href="faq.html"><strong aria-hidden="true">8.</strong> Frequently Asked Questions</a></li></ol>
94-
</div>
93+
<!-- populated by js -->
94+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
95+
<noscript>
96+
<iframe class="sidebar-iframe-outer" src="toc.html"></iframe>
97+
</noscript>
9598
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
9699
<div class="sidebar-resize-indicator"></div>
97100
</div>
98101
</nav>
99102

100-
<!-- Track and set sidebar scroll position -->
101-
<script>
102-
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
103-
sidebarScrollbox.addEventListener('click', function(e) {
104-
if (e.target.tagName === 'A') {
105-
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
106-
}
107-
}, { passive: true });
108-
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
109-
sessionStorage.removeItem('sidebar-scroll');
110-
if (sidebarScrollTop) {
111-
// preserve sidebar scroll position when navigating via links within sidebar
112-
sidebarScrollbox.scrollTop = sidebarScrollTop;
113-
} else {
114-
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
115-
var activeSection = document.querySelector('#sidebar .active');
116-
if (activeSection) {
117-
activeSection.scrollIntoView({ block: 'center' });
118-
}
119-
}
120-
</script>
121-
122103
<div id="page-wrapper" class="page-wrapper">
123104

124105
<div class="page">
125-
<div id="menu-bar-hover-placeholder"></div>
106+
<div id="menu-bar-hover-placeholder"></div>
126107
<div id="menu-bar" class="menu-bar sticky">
127108
<div class="left-buttons">
128109
<label id="sidebar-toggle" class="icon-button" for="sidebar-toggle-anchor" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -132,6 +113,7 @@
132113
<i class="fa fa-paint-brush"></i>
133114
</button>
134115
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
116+
<li role="none"><button role="menuitem" class="theme" id="default_theme">Auto</button></li>
135117
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
136118
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
137119
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
@@ -149,6 +131,9 @@ <h1 class="menu-title">microvm.nix</h1>
149131
<a href="print.html" title="Print this book" aria-label="Print this book">
150132
<i id="print-button" class="fa fa-print"></i>
151133
</a>
134+
<a href="https://github.com/astro/microvm.nix" title="Git repository" aria-label="Git repository">
135+
<i id="git-repository-button" class="fa fa-github"></i>
136+
</a>
152137

153138
</div>
154139
</div>

0 commit comments

Comments
 (0)