Skip to content

Commit a41756b

Browse files
sylvestresylvestre
committed
deploy: f0e8d44 
1 parent 6662ad4 commit a41756b

Some content is hidden

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

128 files changed

+267
-6
lines changed

‎user/404.html

+2
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,7 @@
5555

5656
</head>
5757
<body>
58+
<div id="body-container">
5859
<!-- Provide site root to javascript -->
5960
<script>
6061
var path_to_root = "";
@@ -206,5 +207,6 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
206207
<!-- Custom JS scripts -->
207208

208209

210+
</div>
209211
</body>
210212
</html>

‎user/build.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -340,5 +341,6 @@ <h3 id="gnu-make-2"><a class="header" href="#gnu-make-2">GNU Make</a></h3>
340341
<!-- Custom JS scripts -->
341342

342343

344+
</div>
343345
</body>
344346
</html>

‎user/contributing.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -328,5 +329,6 @@ <h2 id="licensing"><a class="header" href="#licensing">Licensing</a></h2>
328329
<!-- Custom JS scripts -->
329330

330331

332+
</div>
331333
</body>
332334
</html>

‎user/css/chrome.css

+13-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@
22

33
@import 'variables.css';
44

5-
::-webkit-scrollbar {
6-
background: var(--bg);
7-
}
8-
::-webkit-scrollbar-thumb {
9-
background: var(--scrollbar);
10-
}
115
html {
126
scrollbar-color: var(--scrollbar) var(--bg);
137
}
@@ -18,6 +12,19 @@ a > .hljs {
1812
color: var(--links);
1913
}
2014

15+
/*
16+
body-container is necessary because mobile browsers don't seem to like
17+
overflow-x on the body tag when there is a <meta name="viewport"> tag.
18+
*/
19+
#body-container {
20+
/*
21+
This is used when the sidebar pushes the body content off the side of
22+
the screen on small screens. Without it, dragging on mobile Safari
23+
will want to reposition the viewport in a weird way.
24+
*/
25+
overflow-x: hidden;
26+
}
27+
2128
/* Menu Bar */
2229

2330
#menu-bar,

‎user/extensions.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -241,5 +242,6 @@ <h2 id="cut"><a class="header" href="#cut"><code>cut</code></a></h2>
241242
<!-- Custom JS scripts -->
242243

243244

245+
</div>
244246
</body>
245247
</html>

‎user/index.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -314,5 +315,6 @@ <h2 id="useful-links"><a class="header" href="#useful-links">Useful links</a></h
314315
<!-- Custom JS scripts -->
315316

316317

318+
</div>
317319
</body>
318320
</html>

‎user/installation.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -307,5 +308,6 @@ <h3 id="coreutils-hybrid-aur"><a class="header" href="#coreutils-hybrid-aur"><co
307308
<!-- Custom JS scripts -->
308309

309310

311+
</div>
310312
</body>
311313
</html>

‎user/multicall.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -226,5 +227,6 @@ <h2 id="example"><a class="header" href="#example">Example</a></h2>
226227
<!-- Custom JS scripts -->
227228

228229

230+
</div>
229231
</body>
230232
</html>

‎user/print.html

+2
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,7 @@
5555

5656
</head>
5757
<body>
58+
<div id="body-container">
5859
<!-- Provide site root to javascript -->
5960
<script>
6061
var path_to_root = "";
@@ -10054,5 +10055,6 @@ <h2 id="examples-106"><a class="header" href="#examples-106">Examples</a></h2>
1005410055
});
1005510056
</script>
1005610057

10058+
</div>
1005710059
</body>
1005810060
</html>

‎user/test_coverage.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "";
@@ -227,5 +228,6 @@ <h2 id="progress-over-time"><a class="header" href="#progress-over-time">Progres
227228
<!-- Custom JS scripts -->
228229

229230

231+
</div>
230232
</body>
231233
</html>

‎user/utils/arch.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -247,5 +248,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
247248
<!-- Custom JS scripts -->
248249

249250

251+
</div>
250252
</body>
251253
</html>

‎user/utils/b2sum.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -296,5 +297,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
296297
<!-- Custom JS scripts -->
297298

298299

300+
</div>
299301
</body>
300302
</html>

‎user/utils/b3sum.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -277,5 +278,6 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
277278
<!-- Custom JS scripts -->
278279

279280

281+
</div>
280282
</body>
281283
</html>

‎user/utils/base32.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -276,5 +277,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
276277
<!-- Custom JS scripts -->
277278

278279

280+
</div>
279281
</body>
280282
</html>

‎user/utils/base64.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -276,5 +277,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
276277
<!-- Custom JS scripts -->
277278

278279

280+
</div>
279281
</body>
280282
</html>

‎user/utils/basename.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -269,5 +270,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
269270
<!-- Custom JS scripts -->
270271

271272

273+
</div>
272274
</body>
273275
</html>

‎user/utils/basenc.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -281,5 +282,6 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
281282
<!-- Custom JS scripts -->
282283

283284

285+
</div>
284286
</body>
285287
</html>

‎user/utils/cat.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -298,5 +299,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
298299
<!-- Custom JS scripts -->
299300

300301

302+
</div>
301303
</body>
302304
</html>

‎user/utils/chcon.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -324,5 +325,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
324325
<!-- Custom JS scripts -->
325326

326327

328+
</div>
327329
</body>
328330
</html>

‎user/utils/chgrp.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -305,5 +306,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
305306
<!-- Custom JS scripts -->
306307

307308

309+
</div>
308310
</body>
309311
</html>

‎user/utils/chmod.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -303,5 +304,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
303304
<!-- Custom JS scripts -->
304305

305306

307+
</div>
306308
</body>
307309
</html>

‎user/utils/chown.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -313,5 +314,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
313314
<!-- Custom JS scripts -->
314315

315316

317+
</div>
316318
</body>
317319
</html>

‎user/utils/chroot.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -274,5 +275,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
274275
<!-- Custom JS scripts -->
275276

276277

278+
</div>
277279
</body>
278280
</html>

‎user/utils/cksum.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -249,5 +250,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
249250
<!-- Custom JS scripts -->
250251

251252

253+
</div>
252254
</body>
253255
</html>

‎user/utils/comm.html

+2
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
</head>
5656
<body>
57+
<div id="body-container">
5758
<!-- Provide site root to javascript -->
5859
<script>
5960
var path_to_root = "../";
@@ -284,5 +285,6 @@ <h2 id="examples"><a class="header" href="#examples">Examples</a></h2>
284285
<!-- Custom JS scripts -->
285286

286287

288+
</div>
287289
</body>
288290
</html>

0 commit comments

Comments
 (0)