Skip to content

Commit 5cc5976

Browse files
committed
Deploying to gh-pages from @ 6e4fcf6 🚀
1 parent ffa74c4 commit 5cc5976

24 files changed

+490
-652
lines changed

unstable/404.html

Lines changed: 18 additions & 39 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">
@@ -8,7 +8,7 @@
88

99

1010
<!-- Custom HTML head -->
11-
11+
1212
<meta name="description" content="">
1313
<meta name="viewport" content="width=device-width, initial-scale=1">
1414
<meta name="theme-color" content="#ffffff">
@@ -31,15 +31,17 @@
3131

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

34-
</head>
35-
<body class="sidebar-visible no-js">
36-
<div id="body-container">
34+
3735
<!-- Provide site root to javascript -->
3836
<script>
3937
var path_to_root = "";
4038
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4139
</script>
42-
40+
<!-- Start loading toc.js asap -->
41+
<script src="toc.js"></script>
42+
</head>
43+
<body>
44+
<div id="body-container">
4345
<!-- Work around some values being stored in localStorage wrapped in quotes -->
4446
<script>
4547
try {
@@ -61,19 +63,16 @@
6163
var theme;
6264
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6365
if (theme === null || theme === undefined) { theme = default_theme; }
64-
var html = document.querySelector('html');
66+
const html = document.documentElement;
6567
html.classList.remove('light')
6668
html.classList.add(theme);
67-
var body = document.querySelector('body');
68-
body.classList.remove('no-js')
69-
body.classList.add('js');
69+
html.classList.add("js");
7070
</script>
7171

7272
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
7373

7474
<!-- Hide / unhide sidebar before it is displayed -->
7575
<script>
76-
var body = document.querySelector('body');
7776
var sidebar = null;
7877
var sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
7978
if (document.body.clientWidth >= 1080) {
@@ -83,45 +82,25 @@
8382
sidebar = 'hidden';
8483
}
8584
sidebar_toggle.checked = sidebar === 'visible';
86-
body.classList.remove('sidebar-visible');
87-
body.classList.add("sidebar-" + sidebar);
85+
html.classList.remove('sidebar-visible');
86+
html.classList.add("sidebar-" + sidebar);
8887
</script>
8988

9089
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
91-
<div class="sidebar-scrollbox">
92-
<ol class="chapter"><li class="chapter-item expanded "><a href="introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded "><a href="deployment/index.html"><strong aria-hidden="true">2.</strong> Deployment</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="deployment/nixos.html"><strong aria-hidden="true">2.1.</strong> Using NixOS</a></li><li class="chapter-item expanded "><a href="deployment/container.html"><strong aria-hidden="true">2.2.</strong> Using Containers / Docker</a></li><li class="chapter-item expanded "><a href="deployment/manual/index.html"><strong aria-hidden="true">2.3.</strong> Manual Setup</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="deployment/manual/backend.html"><strong aria-hidden="true">2.3.1.</strong> Backend</a></li><li class="chapter-item expanded "><a href="deployment/manual/frontend.html"><strong aria-hidden="true">2.3.2.</strong> Frontend and Reverse Proxy</a></li></ol></li></ol></li><li class="chapter-item expanded "><a href="configuration/index.html"><strong aria-hidden="true">3.</strong> Configuration</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="configuration/bmp-junos.html"><strong aria-hidden="true">3.1.</strong> Junos using BMP</a></li><li class="chapter-item expanded "><a href="configuration/bgp-bird2.html"><strong aria-hidden="true">3.2.</strong> bird2 using BGP</a></li><li class="chapter-item expanded "><a href="configuration/routing-instances.html"><strong aria-hidden="true">3.3.</strong> VRF/Routing-Instances</a></li></ol></li><li class="chapter-item expanded "><a href="appendix/index.html"><strong aria-hidden="true">4.</strong> Appendix</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="appendix/nixos-specialArgs-pattern.html"><strong aria-hidden="true">4.1.</strong> NixOS specialArgs pattern</a></li></ol></li></ol>
93-
</div>
90+
<!-- populated by js -->
91+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
92+
<noscript>
93+
<iframe class="sidebar-iframe-outer" src="toc.html"></iframe>
94+
</noscript>
9495
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
9596
<div class="sidebar-resize-indicator"></div>
9697
</div>
9798
</nav>
9899

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

123102
<div class="page">
124-
<div id="menu-bar-hover-placeholder"></div>
103+
<div id="menu-bar-hover-placeholder"></div>
125104
<div id="menu-bar" class="menu-bar sticky">
126105
<div class="left-buttons">
127106
<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">

unstable/appendix/index.html

Lines changed: 18 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
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">
66
<title>Appendix - Fernglas Manual</title>
77

88

99
<!-- Custom HTML head -->
10-
10+
1111
<meta name="description" content="">
1212
<meta name="viewport" content="width=device-width, initial-scale=1">
1313
<meta name="theme-color" content="#ffffff">
@@ -30,15 +30,17 @@
3030

3131
<!-- Custom theme stylesheets -->
3232

33-
</head>
34-
<body class="sidebar-visible no-js">
35-
<div id="body-container">
33+
3634
<!-- Provide site root to javascript -->
3735
<script>
3836
var path_to_root = "../";
3937
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4038
</script>
41-
39+
<!-- Start loading toc.js asap -->
40+
<script src="../toc.js"></script>
41+
</head>
42+
<body>
43+
<div id="body-container">
4244
<!-- Work around some values being stored in localStorage wrapped in quotes -->
4345
<script>
4446
try {
@@ -60,19 +62,16 @@
6062
var theme;
6163
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6264
if (theme === null || theme === undefined) { theme = default_theme; }
63-
var html = document.querySelector('html');
65+
const html = document.documentElement;
6466
html.classList.remove('light')
6567
html.classList.add(theme);
66-
var body = document.querySelector('body');
67-
body.classList.remove('no-js')
68-
body.classList.add('js');
68+
html.classList.add("js");
6969
</script>
7070

7171
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
7272

7373
<!-- Hide / unhide sidebar before it is displayed -->
7474
<script>
75-
var body = document.querySelector('body');
7675
var sidebar = null;
7776
var sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
7877
if (document.body.clientWidth >= 1080) {
@@ -82,45 +81,25 @@
8281
sidebar = 'hidden';
8382
}
8483
sidebar_toggle.checked = sidebar === 'visible';
85-
body.classList.remove('sidebar-visible');
86-
body.classList.add("sidebar-" + sidebar);
84+
html.classList.remove('sidebar-visible');
85+
html.classList.add("sidebar-" + sidebar);
8786
</script>
8887

8988
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
90-
<div class="sidebar-scrollbox">
91-
<ol class="chapter"><li class="chapter-item expanded "><a href="../introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded "><a href="../deployment/index.html"><strong aria-hidden="true">2.</strong> Deployment</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../deployment/nixos.html"><strong aria-hidden="true">2.1.</strong> Using NixOS</a></li><li class="chapter-item expanded "><a href="../deployment/container.html"><strong aria-hidden="true">2.2.</strong> Using Containers / Docker</a></li><li class="chapter-item expanded "><a href="../deployment/manual/index.html"><strong aria-hidden="true">2.3.</strong> Manual Setup</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../deployment/manual/backend.html"><strong aria-hidden="true">2.3.1.</strong> Backend</a></li><li class="chapter-item expanded "><a href="../deployment/manual/frontend.html"><strong aria-hidden="true">2.3.2.</strong> Frontend and Reverse Proxy</a></li></ol></li></ol></li><li class="chapter-item expanded "><a href="../configuration/index.html"><strong aria-hidden="true">3.</strong> Configuration</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../configuration/bmp-junos.html"><strong aria-hidden="true">3.1.</strong> Junos using BMP</a></li><li class="chapter-item expanded "><a href="../configuration/bgp-bird2.html"><strong aria-hidden="true">3.2.</strong> bird2 using BGP</a></li><li class="chapter-item expanded "><a href="../configuration/routing-instances.html"><strong aria-hidden="true">3.3.</strong> VRF/Routing-Instances</a></li></ol></li><li class="chapter-item expanded "><a href="../appendix/index.html" class="active"><strong aria-hidden="true">4.</strong> Appendix</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../appendix/nixos-specialArgs-pattern.html"><strong aria-hidden="true">4.1.</strong> NixOS specialArgs pattern</a></li></ol></li></ol>
92-
</div>
89+
<!-- populated by js -->
90+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
91+
<noscript>
92+
<iframe class="sidebar-iframe-outer" src="../toc.html"></iframe>
93+
</noscript>
9394
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
9495
<div class="sidebar-resize-indicator"></div>
9596
</div>
9697
</nav>
9798

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

122101
<div class="page">
123-
<div id="menu-bar-hover-placeholder"></div>
102+
<div id="menu-bar-hover-placeholder"></div>
124103
<div id="menu-bar" class="menu-bar sticky">
125104
<div class="left-buttons">
126105
<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">

unstable/appendix/nixos-specialArgs-pattern.html

Lines changed: 18 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
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">
66
<title>NixOS specialArgs pattern - Fernglas Manual</title>
77

88

99
<!-- Custom HTML head -->
10-
10+
1111
<meta name="description" content="">
1212
<meta name="viewport" content="width=device-width, initial-scale=1">
1313
<meta name="theme-color" content="#ffffff">
@@ -30,15 +30,17 @@
3030

3131
<!-- Custom theme stylesheets -->
3232

33-
</head>
34-
<body class="sidebar-visible no-js">
35-
<div id="body-container">
33+
3634
<!-- Provide site root to javascript -->
3735
<script>
3836
var path_to_root = "../";
3937
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4038
</script>
41-
39+
<!-- Start loading toc.js asap -->
40+
<script src="../toc.js"></script>
41+
</head>
42+
<body>
43+
<div id="body-container">
4244
<!-- Work around some values being stored in localStorage wrapped in quotes -->
4345
<script>
4446
try {
@@ -60,19 +62,16 @@
6062
var theme;
6163
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6264
if (theme === null || theme === undefined) { theme = default_theme; }
63-
var html = document.querySelector('html');
65+
const html = document.documentElement;
6466
html.classList.remove('light')
6567
html.classList.add(theme);
66-
var body = document.querySelector('body');
67-
body.classList.remove('no-js')
68-
body.classList.add('js');
68+
html.classList.add("js");
6969
</script>
7070

7171
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
7272

7373
<!-- Hide / unhide sidebar before it is displayed -->
7474
<script>
75-
var body = document.querySelector('body');
7675
var sidebar = null;
7776
var sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
7877
if (document.body.clientWidth >= 1080) {
@@ -82,45 +81,25 @@
8281
sidebar = 'hidden';
8382
}
8483
sidebar_toggle.checked = sidebar === 'visible';
85-
body.classList.remove('sidebar-visible');
86-
body.classList.add("sidebar-" + sidebar);
84+
html.classList.remove('sidebar-visible');
85+
html.classList.add("sidebar-" + sidebar);
8786
</script>
8887

8988
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
90-
<div class="sidebar-scrollbox">
91-
<ol class="chapter"><li class="chapter-item expanded "><a href="../introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded "><a href="../deployment/index.html"><strong aria-hidden="true">2.</strong> Deployment</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../deployment/nixos.html"><strong aria-hidden="true">2.1.</strong> Using NixOS</a></li><li class="chapter-item expanded "><a href="../deployment/container.html"><strong aria-hidden="true">2.2.</strong> Using Containers / Docker</a></li><li class="chapter-item expanded "><a href="../deployment/manual/index.html"><strong aria-hidden="true">2.3.</strong> Manual Setup</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../deployment/manual/backend.html"><strong aria-hidden="true">2.3.1.</strong> Backend</a></li><li class="chapter-item expanded "><a href="../deployment/manual/frontend.html"><strong aria-hidden="true">2.3.2.</strong> Frontend and Reverse Proxy</a></li></ol></li></ol></li><li class="chapter-item expanded "><a href="../configuration/index.html"><strong aria-hidden="true">3.</strong> Configuration</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../configuration/bmp-junos.html"><strong aria-hidden="true">3.1.</strong> Junos using BMP</a></li><li class="chapter-item expanded "><a href="../configuration/bgp-bird2.html"><strong aria-hidden="true">3.2.</strong> bird2 using BGP</a></li><li class="chapter-item expanded "><a href="../configuration/routing-instances.html"><strong aria-hidden="true">3.3.</strong> VRF/Routing-Instances</a></li></ol></li><li class="chapter-item expanded "><a href="../appendix/index.html"><strong aria-hidden="true">4.</strong> Appendix</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../appendix/nixos-specialArgs-pattern.html" class="active"><strong aria-hidden="true">4.1.</strong> NixOS specialArgs pattern</a></li></ol></li></ol>
92-
</div>
89+
<!-- populated by js -->
90+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
91+
<noscript>
92+
<iframe class="sidebar-iframe-outer" src="../toc.html"></iframe>
93+
</noscript>
9394
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
9495
<div class="sidebar-resize-indicator"></div>
9596
</div>
9697
</nav>
9798

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

122101
<div class="page">
123-
<div id="menu-bar-hover-placeholder"></div>
102+
<div id="menu-bar-hover-placeholder"></div>
124103
<div id="menu-bar" class="menu-bar sticky">
125104
<div class="left-buttons">
126105
<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">

0 commit comments

Comments
 (0)