Skip to content

Commit 0270283

Browse files
tautschnigtautschnig
committed
Deploying to gh-pages from @ 5f2e76e 🚀
1 parent da407bf commit 0270283

26 files changed

+2095
-984
lines changed

‎404.html‎

Lines changed: 65 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="sidebar-visible no-js light">
2+
<html lang="en" class="light sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -8,10 +8,10 @@
88

99

1010
<!-- Custom HTML head -->
11-
11+
1212
<meta name="description" content="">
1313
<meta name="viewport" content="width=device-width, initial-scale=1">
14-
<meta name="theme-color" content="#ffffff" />
14+
<meta name="theme-color" content="#ffffff">
1515

1616
<link rel="icon" href="favicon.svg">
1717
<link rel="shortcut icon" href="favicon.png">
@@ -25,26 +25,41 @@
2525
<link rel="stylesheet" href="fonts/fonts.css">
2626

2727
<!-- Highlight.js Stylesheets -->
28-
<link rel="stylesheet" href="highlight.css">
29-
<link rel="stylesheet" href="tomorrow-night.css">
30-
<link rel="stylesheet" href="ayu-highlight.css">
28+
<link rel="stylesheet" id="highlight-css" href="highlight.css">
29+
<link rel="stylesheet" id="tomorrow-night-css" href="tomorrow-night.css">
30+
<link rel="stylesheet" id="ayu-highlight-css" href="ayu-highlight.css">
3131

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

34+
35+
<!-- Provide site root and default themes to javascript -->
36+
<script>
37+
const path_to_root = "";
38+
const default_light_theme = "light";
39+
const default_dark_theme = "navy";
40+
window.path_to_searchindex_js = "searchindex.js";
41+
</script>
42+
<!-- Start loading toc.js asap -->
43+
<script src="toc.js"></script>
3444
</head>
3545
<body>
46+
<div id="mdbook-help-container">
47+
<div id="mdbook-help-popup">
48+
<h2 class="mdbook-help-title">Keyboard shortcuts</h2>
49+
<div>
50+
<p>Press <kbd>←</kbd> or <kbd>→</kbd> to navigate between chapters</p>
51+
<p>Press <kbd>S</kbd> or <kbd>/</kbd> to search in the book</p>
52+
<p>Press <kbd>?</kbd> to show this help</p>
53+
<p>Press <kbd>Esc</kbd> to hide this help</p>
54+
</div>
55+
</div>
56+
</div>
3657
<div id="body-container">
37-
<!-- Provide site root to javascript -->
38-
<script>
39-
var path_to_root = "";
40-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
41-
</script>
42-
4358
<!-- Work around some values being stored in localStorage wrapped in quotes -->
4459
<script>
4560
try {
46-
var theme = localStorage.getItem('mdbook-theme');
47-
var sidebar = localStorage.getItem('mdbook-sidebar');
61+
let theme = localStorage.getItem('mdbook-theme');
62+
let sidebar = localStorage.getItem('mdbook-sidebar');
4863

4964
if (theme.startsWith('"') && theme.endsWith('"')) {
5065
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
@@ -58,55 +73,68 @@
5873

5974
<!-- Set the theme before any content is loaded, prevents flash -->
6075
<script>
61-
var theme;
76+
const default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? default_dark_theme : default_light_theme;
77+
let theme;
6278
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6379
if (theme === null || theme === undefined) { theme = default_theme; }
64-
var html = document.querySelector('html');
65-
html.classList.remove('no-js')
80+
const html = document.documentElement;
6681
html.classList.remove('light')
6782
html.classList.add(theme);
68-
html.classList.add('js');
83+
html.classList.add("js");
6984
</script>
7085

86+
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
87+
7188
<!-- Hide / unhide sidebar before it is displayed -->
7289
<script>
73-
var html = document.querySelector('html');
74-
var sidebar = 'hidden';
90+
let sidebar = null;
91+
const sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
7592
if (document.body.clientWidth >= 1080) {
7693
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
7794
sidebar = sidebar || 'visible';
95+
} else {
96+
sidebar = 'hidden';
97+
sidebar_toggle.checked = false;
98+
}
99+
if (sidebar === 'visible') {
100+
sidebar_toggle.checked = true;
101+
} else {
102+
html.classList.remove('sidebar-visible');
78103
}
79-
html.classList.remove('sidebar-visible');
80-
html.classList.add("sidebar-" + sidebar);
81104
</script>
82105

83106
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
84-
<div class="sidebar-scrollbox">
85-
<ol class="chapter"><li class="chapter-item expanded "><a href="index.html"><strong aria-hidden="true">1.</strong> CBMC Proof Debugger</a></li><li class="chapter-item expanded "><a href="user-guide/index.html"><strong aria-hidden="true">2.</strong> User guide</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="user-guide/installation.html"><strong aria-hidden="true">2.1.</strong> Installation</a></li><li class="chapter-item expanded "><a href="user-guide/configuration.html"><strong aria-hidden="true">2.2.</strong> Configuration</a></li><li class="chapter-item expanded "><a href="demo/index.html"><strong aria-hidden="true">2.3.</strong> Demonstration</a></li></ol></li><li class="chapter-item expanded "><a href="developer-guide/index.html"><strong aria-hidden="true">3.</strong> Developer guide</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="developer-guide/installation.html"><strong aria-hidden="true">3.1.</strong> Installation</a></li><li class="chapter-item expanded "><a href="developer-guide/architecture.html"><strong aria-hidden="true">3.2.</strong> Architecture</a></li><li class="chapter-item expanded "><a href="developer-guide/implementation.html"><strong aria-hidden="true">3.3.</strong> Implementation</a></li></ol></li><li class="chapter-item expanded "><a href="faq/index.html"><strong aria-hidden="true">4.</strong> Frequently asked questions</a></li></ol>
107+
<!-- populated by js -->
108+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
109+
<noscript>
110+
<iframe class="sidebar-iframe-outer" src="toc.html"></iframe>
111+
</noscript>
112+
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
113+
<div class="sidebar-resize-indicator"></div>
86114
</div>
87-
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
88115
</nav>
89116

90117
<div id="page-wrapper" class="page-wrapper">
91118

92119
<div class="page">
93-
<div id="menu-bar-hover-placeholder"></div>
94-
<div id="menu-bar" class="menu-bar sticky bordered">
120+
<div id="menu-bar-hover-placeholder"></div>
121+
<div id="menu-bar" class="menu-bar sticky">
95122
<div class="left-buttons">
96-
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
123+
<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">
97124
<i class="fa fa-bars"></i>
98-
</button>
125+
</label>
99126
<button id="theme-toggle" class="icon-button" type="button" title="Change theme" aria-label="Change theme" aria-haspopup="true" aria-expanded="false" aria-controls="theme-list">
100127
<i class="fa fa-paint-brush"></i>
101128
</button>
102129
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
130+
<li role="none"><button role="menuitem" class="theme" id="default_theme">Auto</button></li>
103131
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
104132
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
105133
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
106134
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
107135
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
108136
</ul>
109-
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
137+
<button id="search-toggle" class="icon-button" type="button" title="Search (`/`)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="/ s" aria-controls="searchbar">
110138
<i class="fa fa-search"></i>
111139
</button>
112140
</div>
@@ -123,7 +151,12 @@ <h1 class="menu-title">CBMC Proof Debugger</h1>
123151

124152
<div id="search-wrapper" class="hidden">
125153
<form id="searchbar-outer" class="searchbar-outer">
126-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
154+
<div class="search-wrapper">
155+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
156+
<div class="spinner-wrapper">
157+
<i class="fa fa-spinner fa-spin"></i>
158+
</div>
159+
</div>
127160
</form>
128161
<div id="searchresults-outer" class="searchresults-outer hidden">
129162
<div id="searchresults-header" class="searchresults-header"></div>
@@ -182,6 +215,7 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
182215
<!-- Custom JS scripts -->
183216

184217

218+
185219
</div>
186220
</body>
187221
</html>

0 commit comments

Comments
 (0)