Skip to content

Commit caeb7cd

Browse files
github-actions[bot]github-actions[bot]
committed
update book for release refs/tags/0.13.0
1 parent 8a7c170 commit caeb7cd

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

52 files changed

+9609
-1581
lines changed

‎content/404.html‎

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -25,31 +25,43 @@
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
<link rel="stylesheet" href="ferris.css">
3434

3535
<!-- MathJax -->
3636
<script async src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
3737

38-
<!-- Provide site root to javascript -->
38+
<!-- Provide site root and default themes to javascript -->
3939
<script>
40-
var path_to_root = "";
41-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "ayu";
40+
const path_to_root = "";
41+
const default_light_theme = "ayu";
42+
const default_dark_theme = "navy";
4243
</script>
4344
<!-- Start loading toc.js asap -->
4445
<script src="toc.js"></script>
4546
</head>
4647
<body>
48+
<div id="mdbook-help-container">
49+
<div id="mdbook-help-popup">
50+
<h2 class="mdbook-help-title">Keyboard shortcuts</h2>
51+
<div>
52+
<p>Press <kbd>←</kbd> or <kbd>→</kbd> to navigate between chapters</p>
53+
<p>Press <kbd>S</kbd> or <kbd>/</kbd> to search in the book</p>
54+
<p>Press <kbd>?</kbd> to show this help</p>
55+
<p>Press <kbd>Esc</kbd> to hide this help</p>
56+
</div>
57+
</div>
58+
</div>
4759
<div id="body-container">
4860
<!-- Work around some values being stored in localStorage wrapped in quotes -->
4961
<script>
5062
try {
51-
var theme = localStorage.getItem('mdbook-theme');
52-
var sidebar = localStorage.getItem('mdbook-sidebar');
63+
let theme = localStorage.getItem('mdbook-theme');
64+
let sidebar = localStorage.getItem('mdbook-sidebar');
5365

5466
if (theme.startsWith('"') && theme.endsWith('"')) {
5567
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
@@ -63,7 +75,8 @@
6375

6476
<!-- Set the theme before any content is loaded, prevents flash -->
6577
<script>
66-
var theme;
78+
const default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? default_dark_theme : default_light_theme;
79+
let theme;
6780
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6881
if (theme === null || theme === undefined) { theme = default_theme; }
6982
const html = document.documentElement;
@@ -76,8 +89,8 @@
7689

7790
<!-- Hide / unhide sidebar before it is displayed -->
7891
<script>
79-
var sidebar = null;
80-
var sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
92+
let sidebar = null;
93+
const sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
8194
if (document.body.clientWidth >= 1080) {
8295
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
8396
sidebar = sidebar || 'visible';
@@ -103,7 +116,7 @@
103116
<div id="page-wrapper" class="page-wrapper">
104117

105118
<div class="page">
106-
<script src="https://cdn.plot.ly/plotly-2.12.1.min.js"></script> <div id="menu-bar-hover-placeholder"></div>
119+
<script src="https://cdn.plot.ly/plotly-3.0.1.min.js"></script> <div id="menu-bar-hover-placeholder"></div>
107120
<div id="menu-bar" class="menu-bar sticky">
108121
<div class="left-buttons">
109122
<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">
@@ -113,13 +126,14 @@
113126
<i class="fa fa-paint-brush"></i>
114127
</button>
115128
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
129+
<li role="none"><button role="menuitem" class="theme" id="default_theme">Auto</button></li>
116130
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
117131
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
118132
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
119133
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
120134
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
121135
</ul>
122-
<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">
136+
<button id="search-toggle" class="icon-button" type="button" title="Search (`/`)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="/ s" aria-controls="searchbar">
123137
<i class="fa fa-search"></i>
124138
</button>
125139
</div>

0 commit comments

Comments
 (0)