Skip to content

Commit fbb05a0

Browse files
coolreader18coolreader18
committed
deploy: 0467a59 
1 parent 351df06 commit fbb05a0

Some content is hidden

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

41 files changed

+3857
-1088
lines changed

‎.nojekyll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
This file makes sure that Github Pages doesn't process mdBook's output.
1+
This file makes sure that Github Pages doesn't process mdBook's output.

‎intro.html‎ renamed to ‎404.html‎

Lines changed: 65 additions & 77 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,19 @@
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">
6-
<title>Introduction - RustPython docs</title>
7-
6+
<title>Page not found - RustPython docs</title>
7+
<base href="/">
8+
9+
10+
<!-- Custom HTML head -->
811

9-
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1012
<meta name="description" content="">
1113
<meta name="viewport" content="width=device-width, initial-scale=1">
12-
<meta name="theme-color" content="#ffffff" />
14+
<meta name="theme-color" content="#ffffff">
1315

16+
<link rel="icon" href="favicon.svg">
1417
<link rel="shortcut icon" href="favicon.png">
1518
<link rel="stylesheet" href="css/variables.css">
1619
<link rel="stylesheet" href="css/general.css">
@@ -19,31 +22,32 @@
1922

2023
<!-- Fonts -->
2124
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
22-
<link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css">
23-
<link href="https://fonts.googleapis.com/css?family=Source+Code+Pro:500" rel="stylesheet" type="text/css">
25+
<link rel="stylesheet" href="fonts/fonts.css">
2426

2527
<!-- Highlight.js Stylesheets -->
26-
<link rel="stylesheet" href="highlight.css">
27-
<link rel="stylesheet" href="tomorrow-night.css">
28-
<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">
2931

3032
<!-- Custom theme stylesheets -->
31-
3233

33-
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+
</script>
41+
<!-- Start loading toc.js asap -->
42+
<script src="toc.js"></script>
3443
</head>
3544
<body>
36-
<!-- Provide site root to javascript -->
37-
<script type="text/javascript">
38-
var path_to_root = "";
39-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "light" : "light";
40-
</script>
41-
45+
<div id="body-container">
4246
<!-- Work around some values being stored in localStorage wrapped in quotes -->
43-
<script type="text/javascript">
47+
<script>
4448
try {
45-
var theme = localStorage.getItem('mdbook-theme');
46-
var sidebar = localStorage.getItem('mdbook-sidebar');
49+
let theme = localStorage.getItem('mdbook-theme');
50+
let sidebar = localStorage.getItem('mdbook-sidebar');
4751

4852
if (theme.startsWith('"') && theme.endsWith('"')) {
4953
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
@@ -56,61 +60,68 @@
5660
</script>
5761

5862
<!-- Set the theme before any content is loaded, prevents flash -->
59-
<script type="text/javascript">
60-
var theme;
63+
<script>
64+
const default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? default_dark_theme : default_light_theme;
65+
let theme;
6166
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6267
if (theme === null || theme === undefined) { theme = default_theme; }
63-
var html = document.querySelector('html');
64-
html.classList.remove('no-js')
68+
const html = document.documentElement;
6569
html.classList.remove('light')
6670
html.classList.add(theme);
67-
html.classList.add('js');
71+
html.classList.add("js");
6872
</script>
6973

74+
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
75+
7076
<!-- Hide / unhide sidebar before it is displayed -->
71-
<script type="text/javascript">
72-
var html = document.querySelector('html');
73-
var sidebar = 'hidden';
77+
<script>
78+
let sidebar = null;
79+
const sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
7480
if (document.body.clientWidth >= 1080) {
7581
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
7682
sidebar = sidebar || 'visible';
83+
} else {
84+
sidebar = 'hidden';
7785
}
86+
sidebar_toggle.checked = sidebar === 'visible';
7887
html.classList.remove('sidebar-visible');
7988
html.classList.add("sidebar-" + sidebar);
8089
</script>
8190

8291
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
83-
<div id="sidebar-scrollbox" class="sidebar-scrollbox">
84-
<ol class="chapter"><li class="expanded "><a href="intro.html" class="active"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="expanded "><a href="writing_functions.html"><strong aria-hidden="true">2.</strong> Writing Functions</a></li></ol>
92+
<!-- populated by js -->
93+
<mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
94+
<noscript>
95+
<iframe class="sidebar-iframe-outer" src="toc.html"></iframe>
96+
</noscript>
97+
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
98+
<div class="sidebar-resize-indicator"></div>
8599
</div>
86-
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
87100
</nav>
88101

89102
<div id="page-wrapper" class="page-wrapper">
90103

91104
<div class="page">
92-
93105
<div id="menu-bar-hover-placeholder"></div>
94-
<div id="menu-bar" class="menu-bar sticky bordered">
106+
<div id="menu-bar" class="menu-bar sticky">
95107
<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">
108+
<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">
97109
<i class="fa fa-bars"></i>
98-
</button>
110+
</label>
99111
<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">
100112
<i class="fa fa-paint-brush"></i>
101113
</button>
102114
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
103-
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
115+
<li role="none"><button role="menuitem" class="theme" id="default_theme">Auto</button></li>
116+
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
104117
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
105118
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
106119
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
107120
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
108121
</ul>
109-
110122
<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">
111123
<i class="fa fa-search"></i>
112124
</button>
113-
114125
</div>
115126

116127
<h1 class="menu-title">RustPython docs</h1>
@@ -119,25 +130,23 @@ <h1 class="menu-title">RustPython docs</h1>
119130
<a href="print.html" title="Print this book" aria-label="Print this book">
120131
<i id="print-button" class="fa fa-print"></i>
121132
</a>
122-
133+
123134
</div>
124135
</div>
125136

126-
127137
<div id="search-wrapper" class="hidden">
128138
<form id="searchbar-outer" class="searchbar-outer">
129-
<input type="search" name="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
139+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
130140
</form>
131141
<div id="searchresults-outer" class="searchresults-outer hidden">
132142
<div id="searchresults-header" class="searchresults-header"></div>
133143
<ul id="searchresults">
134144
</ul>
135145
</div>
136146
</div>
137-
138147

139148
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
140-
<script type="text/javascript">
149+
<script>
141150
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
142151
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
143152
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -147,66 +156,45 @@ <h1 class="menu-title">RustPython docs</h1>
147156

148157
<div id="content" class="content">
149158
<main>
150-
<h1><a class="header" href="#rustpython-docs" id="rustpython-docs">RustPython Docs</a></h1>
151-
<h3><a class="header" href="#feel-free-to-browse-the-table-of-contents-on-the-right" id="feel-free-to-browse-the-table-of-contents-on-the-right">Feel free to browse the table of contents on the right</a></h3>
159+
<h1 id="document-not-found-404"><a class="header" href="#document-not-found-404">Document not found (404)</a></h1>
160+
<p>This URL is invalid, sorry. Please use the navigation bar or search to continue.</p>
152161

153162
</main>
154163

155164
<nav class="nav-wrapper" aria-label="Page navigation">
156165
<!-- Mobile navigation buttons -->
157-
158166

159-
160-
<a rel="next" href="writing_functions.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
161-
<i class="fa fa-angle-right"></i>
162-
</a>
163-
164167

165168
<div style="clear: both"></div>
166169
</nav>
167170
</div>
168171
</div>
169172

170173
<nav class="nav-wide-wrapper" aria-label="Page navigation">
171-
172174

173-
174-
<a rel="next" href="writing_functions.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
175-
<i class="fa fa-angle-right"></i>
176-
</a>
177-
178175
</nav>
179176

180177
</div>
181178

182-
183179

184-
185180

186-
187-
188-
189-
<script type="text/javascript">
190-
window.playpen_copyable = true;
181+
182+
<script>
183+
window.playground_copyable = true;
191184
</script>
192-
193185

194-
195186

196-
197-
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
198-
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
199-
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
200-
187+
<script src="elasticlunr.min.js"></script>
188+
<script src="mark.min.js"></script>
189+
<script src="searcher.js"></script>
201190

202-
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
203-
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
204-
<script src="book.js" type="text/javascript" charset="utf-8"></script>
191+
<script src="clipboard.min.js"></script>
192+
<script src="highlight.js"></script>
193+
<script src="book.js"></script>
205194

206195
<!-- Custom JS scripts -->
207-
208196

209-
210197

198+
</div>
211199
</body>
212200
</html>

‎ayu-highlight.css‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ Original by Dempfi (https://github.com/dempfi/ayu)
88
overflow-x: auto;
99
background: #191f26;
1010
color: #e6e1cf;
11-
padding: 0.5em;
1211
}
1312

1413
.hljs-comment,

0 commit comments

Comments
 (0)