From 9601f8af5799ba5e1608b76b78dcae1a4d735970 Mon Sep 17 00:00:00 2001 From: Brian McGillion Date: Wed, 17 Jul 2024 18:21:01 +0400 Subject: [PATCH] Fix linting of the themes Signed-off-by: Brian McGillion --- LICENSES/WTFPL.txt | 13 + docs/theme/index.hbs | 806 ++++++++++++++++++++++++----------------- docs/theme/pagetoc.css | 5 + docs/theme/pagetoc.js | 15 +- 4 files changed, 494 insertions(+), 345 deletions(-) create mode 100644 LICENSES/WTFPL.txt diff --git a/LICENSES/WTFPL.txt b/LICENSES/WTFPL.txt new file mode 100644 index 000000000..8b1a9d818 --- /dev/null +++ b/LICENSES/WTFPL.txt @@ -0,0 +1,13 @@ + DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE + Version 2, December 2004 + +Copyright (C) 2004 Sam Hocevar + +Everyone is permitted to copy and distribute verbatim or modified +copies of this license document, and changing it is allowed as long +as the name is changed. + + DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE + TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION + + 0. You just DO WHAT THE FUCK YOU WANT TO. diff --git a/docs/theme/index.hbs b/docs/theme/index.hbs index 31d8c5738..e0af0bdf9 100644 --- a/docs/theme/index.hbs +++ b/docs/theme/index.hbs @@ -1,351 +1,477 @@ - - - - - - {{ title }} - {{#if is_print }} - - {{/if}} - {{#if base_url}} - - {{/if}} - - - - {{> head}} - - - - - - {{#if favicon_svg}} - - {{/if}} - {{#if favicon_png}} - - {{/if}} - - - - {{#if print_enable}} - - {{/if}} - - - - {{#if copy_fonts}} - - {{/if}} - - - - - - - - {{#each additional_css}} - - {{/each}} - - {{#if mathjax_support}} - - - {{/if}} - - + + + + + + + {{ title }} + {{#if is_print }} + + {{/if}} {{#if base_url}} + + {{/if}} + + + {{> head}} + + + + + + {{#if favicon_svg}} + + {{/if}} {{#if favicon_png}} + + {{/if}} + + + + {{#if print_enable}} + + {{/if}} + + + + {{#if copy_fonts}} + + {{/if}} + + + + + + + + {{#each additional_css}} + + {{/each}} {{#if mathjax_support}} + + + {{/if}} + +
- - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - -
- -
- {{> header}} - - - - {{#if search_enabled}} - - {{/if}} - - - -
-
-
- {{{ content }}} -
-
- -
-
- - -
+

{{ book_title }}

+ +
+ {{#if print_enable}} + + + + {{/if}} {{#if git_repository_url}} + + + + {{/if}} {{#if git_repository_edit_url}} + + + + {{/if}}
- -
+ + {{#if search_enabled}} + + {{/if}} + + + + +
+
+
{{{ content }}}
+
+ +
+
+ + - +
- {{#if live_reload_endpoint}} - - - {{/if}} - - {{#if google_analytics}} - - - {{/if}} - - {{#if playground_line_numbers}} - - {{/if}} - - {{#if playground_copyable}} - - {{/if}} - - {{#if playground_js}} - - - - - - {{/if}} - - {{#if search_js}} - - - - {{/if}} - - - - - - - {{#each additional_js}} - - {{/each}} - - {{#if is_print}} - {{#if mathjax_support}} - - {{else}} - + {{/if}} {{#if google_analytics}} + + + {{/if}} {{#if playground_line_numbers}} + + {{/if}} {{#if playground_copyable}} + + {{/if}} {{#if playground_js}} + + + + + + {{/if}} {{#if search_js}} + + + + {{/if}} + + + + + + + {{#each additional_js}} + + {{/each}} {{#if is_print}} {{#if mathjax_support}} + - {{/if}} - {{/if}} - + + {{else}} + + {{/if}} {{/if}}
- - \ No newline at end of file + + diff --git a/docs/theme/pagetoc.css b/docs/theme/pagetoc.css index 651572ce5..083795bcf 100644 --- a/docs/theme/pagetoc.css +++ b/docs/theme/pagetoc.css @@ -1,3 +1,8 @@ +/* +Copyright 2022-2024 TII (SSRC) and the Ghaf contributors +SPDX-License-Identifier: WTFPL +*/ + :root { --toc-width: 270px; --center-content-toc-shift: calc(-1 * var(--toc-width) / 2); diff --git a/docs/theme/pagetoc.js b/docs/theme/pagetoc.js index 490d9e4c3..b41f5da3c 100644 --- a/docs/theme/pagetoc.js +++ b/docs/theme/pagetoc.js @@ -1,17 +1,22 @@ +/* +Copyright 2022-2024 TII (SSRC) and the Ghaf contributors +SPDX-License-Identifier: WTFPL +*/ + function forEach(elems, fun) { Array.prototype.forEach.call(elems, fun); } -function getPagetoc(){ - return document.getElementsByClassName("pagetoc")[0] +function getPagetoc() { + return document.getElementsByClassName("pagetoc")[0]; } function getPagetocElems() { return getPagetoc().children; } -function getHeaders(){ - return document.getElementsByClassName("header") +function getHeaders() { + return document.getElementsByClassName("header"); } // Un-active everything when you click it @@ -60,7 +65,7 @@ var updateFunction = function (elem = undefined) { // a very long last section // its heading is over the screen if (!id && i == arr.length - 1) { - id = el + id = el; } }); }