Skip to content

Commit 1b23982

Browse files
author
Document updater
committed
Automated docs update
1 parent 9ba825e commit 1b23982

Some content is hidden

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

59 files changed

+453
-12
lines changed

‎docs/.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.

‎docs/404.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,12 +19,18 @@
1919
<meta name="viewport" content="width=device-width, initial-scale=1">
2020
<meta name="theme-color" content="#ffffff" />
2121

22+
2223
<link rel="icon" href="favicon.svg">
24+
25+
2326
<link rel="shortcut icon" href="favicon.png">
27+
2428
<link rel="stylesheet" href="css/variables.css">
2529
<link rel="stylesheet" href="css/general.css">
2630
<link rel="stylesheet" href="css/chrome.css">
31+
2732
<link rel="stylesheet" href="css/print.css" media="print">
33+
2834

2935
<!-- Fonts -->
3036
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -126,10 +132,12 @@
126132
<h1 class="menu-title"></h1>
127133

128134
<div class="right-buttons">
135+
129136
<a href="print.html" title="Print this book" aria-label="Print this book">
130137
<i id="print-button" class="fa fa-print"></i>
131138
</a>
132139

140+
133141
</div>
134142
</div>
135143

‎docs/arc-and-mutex.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

‎docs/atomics.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

‎docs/book.js

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -175,23 +175,23 @@ function playground_text(playground) {
175175

176176
var buttons = document.createElement('div');
177177
buttons.className = 'buttons';
178-
buttons.innerHTML = "<button class=\"fa fa-expand\" title=\"Show hidden lines\" aria-label=\"Show hidden lines\"></button>";
178+
buttons.innerHTML = "<button class=\"fa fa-eye\" title=\"Show hidden lines\" aria-label=\"Show hidden lines\"></button>";
179179

180180
// add expand button
181181
var pre_block = block.parentNode;
182182
pre_block.insertBefore(buttons, pre_block.firstChild);
183183

184184
pre_block.querySelector('.buttons').addEventListener('click', function (e) {
185-
if (e.target.classList.contains('fa-expand')) {
186-
e.target.classList.remove('fa-expand');
187-
e.target.classList.add('fa-compress');
185+
if (e.target.classList.contains('fa-eye')) {
186+
e.target.classList.remove('fa-eye');
187+
e.target.classList.add('fa-eye-slash');
188188
e.target.title = 'Hide lines';
189189
e.target.setAttribute('aria-label', e.target.title);
190190

191191
block.classList.remove('hide-boring');
192-
} else if (e.target.classList.contains('fa-compress')) {
193-
e.target.classList.remove('fa-compress');
194-
e.target.classList.add('fa-expand');
192+
} else if (e.target.classList.contains('fa-eye-slash')) {
193+
e.target.classList.remove('fa-eye-slash');
194+
e.target.classList.add('fa-eye');
195195
e.target.title = 'Show hidden lines';
196196
e.target.setAttribute('aria-label', e.target.title);
197197

‎docs/borrow-splitting.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

‎docs/casts.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

‎docs/checked-uninit.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

‎docs/coercions.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

‎docs/concurrency.html

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,18 @@
1717
<meta name="viewport" content="width=device-width, initial-scale=1">
1818
<meta name="theme-color" content="#ffffff" />
1919

20+
2021
<link rel="icon" href="favicon.svg">
22+
23+
2124
<link rel="shortcut icon" href="favicon.png">
25+
2226
<link rel="stylesheet" href="css/variables.css">
2327
<link rel="stylesheet" href="css/general.css">
2428
<link rel="stylesheet" href="css/chrome.css">
29+
2530
<link rel="stylesheet" href="css/print.css" media="print">
31+
2632

2733
<!-- Fonts -->
2834
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
@@ -124,10 +130,12 @@
124130
<h1 class="menu-title"></h1>
125131

126132
<div class="right-buttons">
133+
127134
<a href="print.html" title="Print this book" aria-label="Print this book">
128135
<i id="print-button" class="fa fa-print"></i>
129136
</a>
130137

138+
131139
</div>
132140
</div>
133141

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy