{title}
") + } + .into(), + ); + } + } + } + } + } + _ => {} + } + + self.at_paragraph_start = matches!(evt, Event::Start(Tag::Paragraph)); + + Some(evt) + } +} diff --git a/preproc/src/git.rs b/preproc/src/git.rs new file mode 100644 index 0000000..35f5216 --- /dev/null +++ b/preproc/src/git.rs @@ -0,0 +1,64 @@ +/* + * Adapted from gbdev's Pan Docs preprocessor + * https://github.com/gbdev/pandocs/blob/master/preproc/src/git.rs + * + * This Source Code Form is subject to the + * terms of the Mozilla Public License, v. + * 2.0. If a copy of the MPL was not + * distributed with this file, You can + * obtain one at + * http://mozilla.org/MPL/2.0/. + */ + +use std::process::{Command, Stdio}; + +use anyhow::Error; + +#[derive(Debug)] +pub struct Commit { + info: String, + splits: [usize; 2], +} + +impl Commit { + pub fn rev_parse(what: &str) -> Result{} ({}). ",
+ commit.hash(), commit.short_hash(), commit.timestamp(),
+ ));
+ }
+ }
+ });
+
+ res.map(|_| book)
+ }
+}
diff --git a/theme/book.js b/theme/book.js
new file mode 100644
index 0000000..aa12e7e
--- /dev/null
+++ b/theme/book.js
@@ -0,0 +1,697 @@
+"use strict";
+
+// Fix back button cache problem
+window.onunload = function () { };
+
+// Global variable, shared between modules
+function playground_text(playground, hidden = true) {
+ let code_block = playground.querySelector("code");
+
+ if (window.ace && code_block.classList.contains("editable")) {
+ let editor = window.ace.edit(code_block);
+ return editor.getValue();
+ } else if (hidden) {
+ return code_block.textContent;
+ } else {
+ return code_block.innerText;
+ }
+}
+
+(function codeSnippets() {
+ function fetch_with_timeout(url, options, timeout = 6000) {
+ return Promise.race([
+ fetch(url, options),
+ new Promise((_, reject) => setTimeout(() => reject(new Error('timeout')), timeout))
+ ]);
+ }
+
+ var playgrounds = Array.from(document.querySelectorAll(".playground"));
+ if (playgrounds.length > 0) {
+ fetch_with_timeout("https://play.rust-lang.org/meta/crates", {
+ headers: {
+ 'Content-Type': "application/json",
+ },
+ method: 'POST',
+ mode: 'cors',
+ })
+ .then(response => response.json())
+ .then(response => {
+ // get list of crates available in the rust playground
+ let playground_crates = response.crates.map(item => item["id"]);
+ playgrounds.forEach(block => handle_crate_list_update(block, playground_crates));
+ });
+ }
+
+ function handle_crate_list_update(playground_block, playground_crates) {
+ // update the play buttons after receiving the response
+ update_play_button(playground_block, playground_crates);
+
+ // and install on change listener to dynamically update ACE editors
+ if (window.ace) {
+ let code_block = playground_block.querySelector("code");
+ if (code_block.classList.contains("editable")) {
+ let editor = window.ace.edit(code_block);
+ editor.addEventListener("change", function (e) {
+ update_play_button(playground_block, playground_crates);
+ });
+ // add Ctrl-Enter command to execute rust code
+ editor.commands.addCommand({
+ name: "run",
+ bindKey: {
+ win: "Ctrl-Enter",
+ mac: "Ctrl-Enter"
+ },
+ exec: _editor => run_rust_code(playground_block)
+ });
+ }
+ }
+ }
+
+ // updates the visibility of play button based on `no_run` class and
+ // used crates vs ones available on https://play.rust-lang.org
+ function update_play_button(pre_block, playground_crates) {
+ var play_button = pre_block.querySelector(".play-button");
+
+ // skip if code is `no_run`
+ if (pre_block.querySelector('code').classList.contains("no_run")) {
+ play_button.classList.add("hidden");
+ return;
+ }
+
+ // get list of `extern crate`'s from snippet
+ var txt = playground_text(pre_block);
+ var re = /extern\s+crate\s+([a-zA-Z_0-9]+)\s*;/g;
+ var snippet_crates = [];
+ var item;
+ while (item = re.exec(txt)) {
+ snippet_crates.push(item[1]);
+ }
+
+ // check if all used crates are available on play.rust-lang.org
+ var all_available = snippet_crates.every(function (elem) {
+ return playground_crates.indexOf(elem) > -1;
+ });
+
+ if (all_available) {
+ play_button.classList.remove("hidden");
+ } else {
+ play_button.classList.add("hidden");
+ }
+ }
+
+ function run_rust_code(code_block) {
+ var result_block = code_block.querySelector(".result");
+ if (!result_block) {
+ result_block = document.createElement('code');
+ result_block.className = 'result hljs language-bash';
+
+ code_block.append(result_block);
+ }
+
+ let text = playground_text(code_block);
+ let classes = code_block.querySelector('code').classList;
+ let edition = "2015";
+ if(classes.contains("edition2018")) {
+ edition = "2018";
+ } else if(classes.contains("edition2021")) {
+ edition = "2021";
+ }
+ var params = {
+ version: "stable",
+ optimize: "0",
+ code: text,
+ edition: edition
+ };
+
+ if (text.indexOf("#![feature") !== -1) {
+ params.version = "nightly";
+ }
+
+ result_block.innerText = "Running...";
+
+ fetch_with_timeout("https://play.rust-lang.org/evaluate.json", {
+ headers: {
+ 'Content-Type': "application/json",
+ },
+ method: 'POST',
+ mode: 'cors',
+ body: JSON.stringify(params)
+ })
+ .then(response => response.json())
+ .then(response => {
+ if (response.result.trim() === '') {
+ result_block.innerText = "No output";
+ result_block.classList.add("result-no-output");
+ } else {
+ result_block.innerText = response.result;
+ result_block.classList.remove("result-no-output");
+ }
+ })
+ .catch(error => result_block.innerText = "Playground Communication: " + error.message);
+ }
+
+ // Syntax highlighting Configuration
+ hljs.configure({
+ tabReplace: ' ', // 4 spaces
+ languages: [], // Languages used for auto-detection
+ });
+
+ let code_nodes = Array
+ .from(document.querySelectorAll('code'))
+ // Don't highlight `inline code` blocks in headers.
+ .filter(function (node) {return !node.parentElement.classList.contains("header"); });
+
+ if (window.ace) {
+ // language-rust class needs to be removed for editable
+ // blocks or highlightjs will capture events
+ code_nodes
+ .filter(function (node) {return node.classList.contains("editable"); })
+ .forEach(function (block) { block.classList.remove('language-rust'); });
+
+ code_nodes
+ .filter(function (node) {return !node.classList.contains("editable"); })
+ .forEach(function (block) { hljs.highlightBlock(block); });
+ } else {
+ code_nodes.forEach(function (block) { hljs.highlightBlock(block); });
+ }
+
+ // Adding the hljs class gives code blocks the color css
+ // even if highlighting doesn't apply
+ code_nodes.forEach(function (block) { block.classList.add('hljs'); });
+
+ Array.from(document.querySelectorAll("code.hljs")).forEach(function (block) {
+
+ var lines = Array.from(block.querySelectorAll('.boring'));
+ // If no lines were hidden, return
+ if (!lines.length) { return; }
+ block.classList.add("hide-boring");
+
+ var buttons = document.createElement('div');
+ buttons.className = 'buttons';
+ buttons.innerHTML = "";
+
+ // add expand button
+ var pre_block = block.parentNode;
+ pre_block.insertBefore(buttons, pre_block.firstChild);
+
+ pre_block.querySelector('.buttons').addEventListener('click', function (e) {
+ if (e.target.classList.contains('fa-eye')) {
+ e.target.classList.remove('fa-eye');
+ e.target.classList.add('fa-eye-slash');
+ e.target.title = 'Hide lines';
+ e.target.setAttribute('aria-label', e.target.title);
+
+ block.classList.remove('hide-boring');
+ } else if (e.target.classList.contains('fa-eye-slash')) {
+ e.target.classList.remove('fa-eye-slash');
+ e.target.classList.add('fa-eye');
+ e.target.title = 'Show hidden lines';
+ e.target.setAttribute('aria-label', e.target.title);
+
+ block.classList.add('hide-boring');
+ }
+ });
+ });
+
+ if (window.playground_copyable) {
+ Array.from(document.querySelectorAll('pre code')).forEach(function (block) {
+ var pre_block = block.parentNode;
+ if (!pre_block.classList.contains('playground')) {
+ var buttons = pre_block.querySelector(".buttons");
+ if (!buttons) {
+ buttons = document.createElement('div');
+ buttons.className = 'buttons';
+ pre_block.insertBefore(buttons, pre_block.firstChild);
+ }
+
+ var clipButton = document.createElement('button');
+ clipButton.className = 'fa fa-copy clip-button';
+ clipButton.title = 'Copy to clipboard';
+ clipButton.setAttribute('aria-label', clipButton.title);
+ clipButton.innerHTML = '';
+
+ buttons.insertBefore(clipButton, buttons.firstChild);
+ }
+ });
+ }
+
+ // Process playground code blocks
+ Array.from(document.querySelectorAll(".playground")).forEach(function (pre_block) {
+ // Add play button
+ var buttons = pre_block.querySelector(".buttons");
+ if (!buttons) {
+ buttons = document.createElement('div');
+ buttons.className = 'buttons';
+ pre_block.insertBefore(buttons, pre_block.firstChild);
+ }
+
+ var runCodeButton = document.createElement('button');
+ runCodeButton.className = 'fa fa-play play-button';
+ runCodeButton.hidden = true;
+ runCodeButton.title = 'Run this code';
+ runCodeButton.setAttribute('aria-label', runCodeButton.title);
+
+ buttons.insertBefore(runCodeButton, buttons.firstChild);
+ runCodeButton.addEventListener('click', function (e) {
+ run_rust_code(pre_block);
+ });
+
+ if (window.playground_copyable) {
+ var copyCodeClipboardButton = document.createElement('button');
+ copyCodeClipboardButton.className = 'fa fa-copy clip-button';
+ copyCodeClipboardButton.innerHTML = '';
+ copyCodeClipboardButton.title = 'Copy to clipboard';
+ copyCodeClipboardButton.setAttribute('aria-label', copyCodeClipboardButton.title);
+
+ buttons.insertBefore(copyCodeClipboardButton, buttons.firstChild);
+ }
+
+ let code_block = pre_block.querySelector("code");
+ if (window.ace && code_block.classList.contains("editable")) {
+ var undoChangesButton = document.createElement('button');
+ undoChangesButton.className = 'fa fa-history reset-button';
+ undoChangesButton.title = 'Undo changes';
+ undoChangesButton.setAttribute('aria-label', undoChangesButton.title);
+
+ buttons.insertBefore(undoChangesButton, buttons.firstChild);
+
+ undoChangesButton.addEventListener('click', function () {
+ let editor = window.ace.edit(code_block);
+ editor.setValue(editor.originalCode);
+ editor.clearSelection();
+ });
+ }
+ });
+})();
+
+(function themes() {
+ var html = document.querySelector('html');
+ var themeToggleButton = document.getElementById('theme-toggle');
+ var themePopup = document.getElementById('theme-list');
+ var themeColorMetaTag = document.querySelector('meta[name="theme-color"]');
+ var stylesheets = {
+ ayuHighlight: document.querySelector("[href$='ayu-highlight.css']"),
+ tomorrowNight: document.querySelector("[href$='tomorrow-night.css']"),
+ highlight: document.querySelector("[href$='highlight.css']"),
+ };
+
+ function showThemes() {
+ themePopup.style.display = 'block';
+ themeToggleButton.setAttribute('aria-expanded', true);
+ themePopup.querySelector("button#" + get_theme()).focus();
+ }
+
+ function updateThemeSelected() {
+ themePopup.querySelectorAll('.theme-selected').forEach(function (el) {
+ el.classList.remove('theme-selected');
+ });
+ themePopup.querySelector("button#" + get_theme()).classList.add('theme-selected');
+ }
+
+ function hideThemes() {
+ themePopup.style.display = 'none';
+ themeToggleButton.setAttribute('aria-expanded', false);
+ themeToggleButton.focus();
+ }
+
+ function get_theme() {
+ var theme;
+ try { theme = localStorage.getItem('mdbook-theme'); } catch (e) { }
+ if (theme === null || theme === undefined) {
+ return default_theme;
+ } else {
+ return theme;
+ }
+ }
+
+ function set_theme(theme, store = true) {
+ let ace_theme;
+
+ if (theme == 'coal' || theme == 'navy') {
+ stylesheets.ayuHighlight.disabled = true;
+ stylesheets.tomorrowNight.disabled = false;
+ stylesheets.highlight.disabled = true;
+
+ ace_theme = "ace/theme/tomorrow_night";
+ } else if (theme == 'ayu') {
+ stylesheets.ayuHighlight.disabled = false;
+ stylesheets.tomorrowNight.disabled = true;
+ stylesheets.highlight.disabled = true;
+ ace_theme = "ace/theme/tomorrow_night";
+ } else {
+ stylesheets.ayuHighlight.disabled = true;
+ stylesheets.tomorrowNight.disabled = true;
+ stylesheets.highlight.disabled = false;
+ ace_theme = "ace/theme/dawn";
+ }
+
+ setTimeout(function () {
+ themeColorMetaTag.content = getComputedStyle(document.documentElement).backgroundColor;
+ }, 1);
+
+ if (window.ace && window.editors) {
+ window.editors.forEach(function (editor) {
+ editor.setTheme(ace_theme);
+ });
+ }
+
+ var previousTheme = get_theme();
+
+ if (store) {
+ try { localStorage.setItem('mdbook-theme', theme); } catch (e) { }
+ }
+
+ html.classList.remove(previousTheme);
+ html.classList.add(theme);
+ updateThemeSelected();
+ }
+
+ // Set theme
+ var theme = get_theme();
+
+ set_theme(theme, false);
+
+ themeToggleButton.addEventListener('click', function () {
+ if (themePopup.style.display === 'block') {
+ hideThemes();
+ } else {
+ showThemes();
+ }
+ });
+
+ themePopup.addEventListener('click', function (e) {
+ var theme;
+ if (e.target.className === "theme") {
+ theme = e.target.id;
+ } else if (e.target.parentElement.className === "theme") {
+ theme = e.target.parentElement.id;
+ } else {
+ return;
+ }
+ set_theme(theme);
+ });
+
+ themePopup.addEventListener('focusout', function(e) {
+ // e.relatedTarget is null in Safari and Firefox on macOS (see workaround below)
+ if (!!e.relatedTarget && !themeToggleButton.contains(e.relatedTarget) && !themePopup.contains(e.relatedTarget)) {
+ hideThemes();
+ }
+ });
+
+ // Should not be needed, but it works around an issue on macOS & iOS: https://github.com/rust-lang/mdBook/issues/628
+ document.addEventListener('click', function(e) {
+ if (themePopup.style.display === 'block' && !themeToggleButton.contains(e.target) && !themePopup.contains(e.target)) {
+ hideThemes();
+ }
+ });
+
+ document.addEventListener('keydown', function (e) {
+ if (e.altKey || e.ctrlKey || e.metaKey || e.shiftKey) { return; }
+ if (!themePopup.contains(e.target)) { return; }
+
+ switch (e.key) {
+ case 'Escape':
+ e.preventDefault();
+ hideThemes();
+ break;
+ case 'ArrowUp':
+ e.preventDefault();
+ var li = document.activeElement.parentElement;
+ if (li && li.previousElementSibling) {
+ li.previousElementSibling.querySelector('button').focus();
+ }
+ break;
+ case 'ArrowDown':
+ e.preventDefault();
+ var li = document.activeElement.parentElement;
+ if (li && li.nextElementSibling) {
+ li.nextElementSibling.querySelector('button').focus();
+ }
+ break;
+ case 'Home':
+ e.preventDefault();
+ themePopup.querySelector('li:first-child button').focus();
+ break;
+ case 'End':
+ e.preventDefault();
+ themePopup.querySelector('li:last-child button').focus();
+ break;
+ }
+ });
+})();
+
+(function sidebar() {
+ var body = document.querySelector("body");
+ var sidebar = document.getElementById("sidebar");
+ var sidebarLinks = document.querySelectorAll('#sidebar a');
+ var sidebarToggleButton = document.getElementById("sidebar-toggle");
+ var sidebarResizeHandle = document.getElementById("sidebar-resize-handle");
+ var firstContact = null;
+
+ function showSidebar() {
+ body.classList.remove('sidebar-hidden')
+ body.classList.add('sidebar-visible');
+ Array.from(sidebarLinks).forEach(function (link) {
+ link.setAttribute('tabIndex', 0);
+ });
+ sidebarToggleButton.setAttribute('aria-expanded', true);
+ sidebar.setAttribute('aria-hidden', false);
+ try { localStorage.setItem('mdbook-sidebar', 'visible'); } catch (e) { }
+ }
+
+
+ var sidebarAnchorToggles = document.querySelectorAll('#sidebar a.toggle');
+
+ function toggleSection(ev) {
+ ev.currentTarget.parentElement.classList.toggle('expanded');
+ }
+
+ Array.from(sidebarAnchorToggles).forEach(function (el) {
+ el.addEventListener('click', toggleSection);
+ });
+
+ function hideSidebar() {
+ body.classList.remove('sidebar-visible')
+ body.classList.add('sidebar-hidden');
+ Array.from(sidebarLinks).forEach(function (link) {
+ link.setAttribute('tabIndex', -1);
+ });
+ sidebarToggleButton.setAttribute('aria-expanded', false);
+ sidebar.setAttribute('aria-hidden', true);
+ try { localStorage.setItem('mdbook-sidebar', 'hidden'); } catch (e) { }
+ }
+
+ // Toggle sidebar
+ sidebarToggleButton.addEventListener('click', function sidebarToggle() {
+ if (body.classList.contains("sidebar-hidden")) {
+ var current_width = parseInt(
+ document.documentElement.style.getPropertyValue('--sidebar-width'), 10);
+ if (current_width < 150) {
+ document.documentElement.style.setProperty('--sidebar-width', '150px');
+ }
+ showSidebar();
+ } else if (body.classList.contains("sidebar-visible")) {
+ hideSidebar();
+ } else {
+ if (getComputedStyle(sidebar)['transform'] === 'none') {
+ hideSidebar();
+ } else {
+ showSidebar();
+ }
+ }
+ });
+
+ sidebarResizeHandle.addEventListener('mousedown', initResize, false);
+
+ function initResize(e) {
+ window.addEventListener('mousemove', resize, false);
+ window.addEventListener('mouseup', stopResize, false);
+ body.classList.add('sidebar-resizing');
+ }
+ function resize(e) {
+ var pos = (e.clientX - sidebar.offsetLeft);
+ if (pos < 20) {
+ hideSidebar();
+ } else {
+ if (body.classList.contains("sidebar-hidden")) {
+ showSidebar();
+ }
+ pos = Math.min(pos, window.innerWidth - 100);
+ document.documentElement.style.setProperty('--sidebar-width', pos + 'px');
+ }
+ }
+ //on mouseup remove windows functions mousemove & mouseup
+ function stopResize(e) {
+ body.classList.remove('sidebar-resizing');
+ window.removeEventListener('mousemove', resize, false);
+ window.removeEventListener('mouseup', stopResize, false);
+ }
+
+ document.addEventListener('touchstart', function (e) {
+ firstContact = {
+ x: e.touches[0].clientX,
+ time: Date.now()
+ };
+ }, { passive: true });
+
+ document.addEventListener('touchmove', function (e) {
+ if (!firstContact)
+ return;
+
+ var curX = e.touches[0].clientX;
+ var xDiff = curX - firstContact.x,
+ tDiff = Date.now() - firstContact.time;
+
+ if (tDiff < 250 && Math.abs(xDiff) >= 150) {
+ if (xDiff >= 0 && firstContact.x < Math.min(document.body.clientWidth * 0.25, 300))
+ showSidebar();
+ else if (xDiff < 0 && curX < 300)
+ hideSidebar();
+
+ firstContact = null;
+ }
+ }, { passive: true });
+})();
+
+(function chapterNavigation() {
+ document.addEventListener('keydown', function (e) {
+ if (e.altKey || e.ctrlKey || e.metaKey || e.shiftKey) { return; }
+ if (window.search && window.search.hasFocus()) { return; }
+ var html = document.querySelector('html');
+
+ function next() {
+ var nextButton = document.querySelector('.nav-chapters.next');
+ if (nextButton) {
+ window.location.href = nextButton.href;
+ }
+ }
+ function prev() {
+ var previousButton = document.querySelector('.nav-chapters.previous');
+ if (previousButton) {
+ window.location.href = previousButton.href;
+ }
+ }
+ switch (e.key) {
+ case 'ArrowRight':
+ e.preventDefault();
+ if (html.dir == 'rtl') {
+ prev();
+ } else {
+ next();
+ }
+ break;
+ case 'ArrowLeft':
+ e.preventDefault();
+ if (html.dir == 'rtl') {
+ next();
+ } else {
+ prev();
+ }
+ break;
+ }
+ });
+})();
+
+(function clipboard() {
+ var clipButtons = document.querySelectorAll('.clip-button');
+
+ function hideTooltip(elem) {
+ elem.firstChild.innerText = "";
+ elem.className = 'fa fa-copy clip-button';
+ }
+
+ function showTooltip(elem, msg) {
+ elem.firstChild.innerText = msg;
+ elem.className = 'fa fa-copy tooltipped';
+ }
+
+ var clipboardSnippets = new ClipboardJS('.clip-button', {
+ text: function (trigger) {
+ hideTooltip(trigger);
+ let playground = trigger.closest("pre");
+ return playground_text(playground, false);
+ }
+ });
+
+ Array.from(clipButtons).forEach(function (clipButton) {
+ clipButton.addEventListener('mouseout', function (e) {
+ hideTooltip(e.currentTarget);
+ });
+ });
+
+ clipboardSnippets.on('success', function (e) {
+ e.clearSelection();
+ showTooltip(e.trigger, "Copied!");
+ });
+
+ clipboardSnippets.on('error', function (e) {
+ showTooltip(e.trigger, "Clipboard error!");
+ });
+})();
+
+(function scrollToTop () {
+ var menuTitle = document.querySelector('.menu-title');
+
+ menuTitle.addEventListener('click', function () {
+ document.scrollingElement.scrollTo({ top: 0, behavior: 'smooth' });
+ });
+})();
+
+(function controllMenu() {
+ var menu = document.getElementById('menu-bar');
+
+ (function controllPosition() {
+ var scrollTop = document.scrollingElement.scrollTop;
+ var prevScrollTop = scrollTop;
+ var minMenuY = -menu.clientHeight - 50;
+ // When the script loads, the page can be at any scroll (e.g. if you reforesh it).
+ menu.style.top = scrollTop + 'px';
+ // Same as parseInt(menu.style.top.slice(0, -2), but faster
+ var topCache = menu.style.top.slice(0, -2);
+ menu.classList.remove('sticky');
+ var stickyCache = false; // Same as menu.classList.contains('sticky'), but faster
+ document.addEventListener('scroll', function () {
+ scrollTop = Math.max(document.scrollingElement.scrollTop, 0);
+ // `null` means that it doesn't need to be updated
+ var nextSticky = null;
+ var nextTop = null;
+ var scrollDown = scrollTop > prevScrollTop;
+ var menuPosAbsoluteY = topCache - scrollTop;
+ if (scrollDown) {
+ nextSticky = false;
+ if (menuPosAbsoluteY > 0) {
+ nextTop = prevScrollTop;
+ }
+ } else {
+ if (menuPosAbsoluteY > 0) {
+ nextSticky = true;
+ } else if (menuPosAbsoluteY < minMenuY) {
+ nextTop = prevScrollTop + minMenuY;
+ }
+ }
+ if (nextSticky === true && stickyCache === false) {
+ menu.classList.add('sticky');
+ stickyCache = true;
+ } else if (nextSticky === false && stickyCache === true) {
+ menu.classList.remove('sticky');
+ stickyCache = false;
+ }
+ if (nextTop !== null) {
+ menu.style.top = nextTop + 'px';
+ topCache = nextTop;
+ }
+ prevScrollTop = scrollTop;
+ }, { passive: true });
+ })();
+ (function controllBorder() {
+ function updateBorder() {
+ if (menu.offsetTop === 0) {
+ menu.classList.remove('bordered');
+ } else {
+ menu.classList.add('bordered');
+ }
+ }
+ updateBorder();
+ document.addEventListener('scroll', updateBorder, { passive: true });
+ })();
+})();
diff --git a/theme/css/general.css b/theme/css/general.css
new file mode 100644
index 0000000..425f3ee
--- /dev/null
+++ b/theme/css/general.css
@@ -0,0 +1,579 @@
+/* Base styles and content styles */
+
+@import '../fonts/fira_code.css';
+@import 'variables.css';
+
+@font-face {
+ font-family: 'SourceSans3';
+ src: url('../fonts/SourceSans3-Regular.otf.woff') format('woff');
+ font-weight: normal;
+ font-style: normal;
+}
+
+@font-face {
+ font-family: 'SourceSans3';
+ src: url('../fonts/SourceSans3-It.otf.woff') format('woff');
+ font-weight: normal;
+ font-style: italic;
+}
+
+@font-face {
+ font-family: 'SourceSans3';
+ src: url('../fonts/SourceSans3-Semibold.otf.woff') format('woff');
+ font-weight: bold;
+ font-style: normal;
+}
+
+@font-face {
+ font-family: 'SourceSans3';
+ src: url('../fonts/SourceSans3-SemiboldIt.otf.woff') format('woff');
+ font-weight: bold;
+ font-style: italic;
+}
+
+:root {
+ /* Browser default font-size is 16px, this way 1 rem = 10px */
+ font-size: 62.5%;
+ color-scheme: var(--color-scheme);
+ /* TODO: Why is important needed here? */
+ --mono-font: "Fira Code" !important;
+ --mono-font-size: 1.4rem;
+}
+
+.sidebar {
+ font-size: 1.6rem !important;
+}
+math {
+ font-size: 1.9rem;
+}
+
+html {
+ font-family: 'SourceSans3', sans-serif;
+ color: var(--fg);
+ background-color: var(--bg);
+ text-size-adjust: none;
+ -webkit-text-size-adjust: none;
+}
+
+body {
+ margin: 0;
+ font-size: 1.8rem;
+ font-weight: 400;
+ overflow-x: hidden;
+}
+
+code {
+ font-family: var(--mono-font) !important;
+ font-weight: 500;
+ font-size: var(--mono-font-size);
+ direction: ltr !important;
+ font-variant-ligatures: none;
+}
+
+/* make long words/inline code not x overflow */
+main {
+ overflow-wrap: break-word;
+}
+
+/* make wide tables scroll if they overflow */
+.table-wrapper {
+ overflow-x: auto;
+}
+
+/* Don't change font size in headers. */
+h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
+ font-size: unset;
+}
+
+.left { float: left; }
+.right { float: right; }
+.boring { opacity: 0.6; }
+.hide-boring .boring { display: none; }
+.hidden { display: none !important; }
+
+h2, h3 { margin-block-start: 2.5em; }
+h4, h5 { margin-block-start: 2em; }
+
+.header + .header h3,
+.header + .header h4,
+.header + .header h5 {
+ margin-block-start: 1em;
+}
+
+h1:target::before,
+h2:target::before,
+h3:target::before,
+h4:target::before,
+h5:target::before,
+h6:target::before {
+ display: inline-block;
+ content: "»";
+ margin-inline-start: -30px;
+ width: 30px;
+}
+
+/* This is broken on Safari as of version 14, but is fixed
+ in Safari Technology Preview 117 which I think will be Safari 14.2.
+ https://bugs.webkit.org/show_bug.cgi?id=218076
+*/
+:target {
+ /* Safari does not support logical properties */
+ scroll-margin-top: calc(var(--menu-bar-height) + 0.5em);
+}
+
+.page {
+ outline: 0;
+ padding: 0 var(--page-padding);
+ margin-block-start: calc(0px - var(--menu-bar-height)); /* Compensate for the #menu-bar-hover-placeholder */
+}
+.page-wrapper {
+ box-sizing: border-box;
+ background-color: var(--bg);
+}
+.no-js .page-wrapper,
+.js:not(.sidebar-resizing) .page-wrapper {
+ transition: margin-left 0.3s ease, transform 0.3s ease; /* Animation: slide away */
+}
+[dir=rtl] .js:not(.sidebar-resizing) .page-wrapper {
+ transition: margin-right 0.3s ease, transform 0.3s ease; /* Animation: slide away */
+}
+
+.content {
+ overflow-y: auto;
+ padding: 0 5px 50px 5px;
+}
+.content main {
+ margin-inline-start: auto;
+ margin-inline-end: auto;
+ max-width: var(--content-max-width);
+}
+.content p { line-height: 1.45em; }
+.content ol { line-height: 1.45em; }
+.content ul { line-height: 1.45em; }
+.content a { text-decoration: none; }
+.content a:hover { text-decoration: underline; }
+.content img, .content video { max-width: 100%; }
+.content .header:link,
+.content .header:visited {
+ color: var(--fg);
+}
+.content .header:link,
+.content .header:visited:hover {
+ text-decoration: none;
+}
+
+table {
+ margin: 0 auto;
+ border-collapse: collapse;
+}
+table td {
+ padding: 3px 16px;
+ border: 1px var(--table-border-color) solid;
+}
+table thead {
+ background: var(--table-header-bg);
+}
+table thead td {
+ font-weight: 700;
+ border: none;
+}
+table thead th {
+ padding: 3px 16px;
+}
+table thead tr {
+ border: 1px var(--table-header-bg) solid;
+}
+/* Alternate background colors for rows */
+table tbody tr:nth-child(2n) {
+ background: var(--table-alternate-bg);
+}
+
+
+blockquote {
+ margin: 20px 0;
+ padding: 0 20px;
+ color: var(--fg);
+ background-color: var(--quote-bg);
+ border-block-start: .1em solid var(--quote-border);
+ border-block-end: .1em solid var(--quote-border);
+}
+
+.warning {
+ margin: 20px;
+ padding: 0 20px;
+ border-inline-start: 2px solid var(--warning-border);
+}
+
+.warning:before {
+ position: absolute;
+ width: 3rem;
+ height: 3rem;
+ margin-inline-start: calc(-1.5rem - 21px);
+ /*content: "ⓘ";*/
+ text-align: center;
+ background-color: var(--bg);
+ color: var(--warning-border);
+ font-weight: bold;
+ font-size: 2rem;
+}
+
+blockquote .warning:before {
+ background-color: var(--quote-bg);
+}
+
+kbd {
+ background-color: var(--table-border-color);
+ border-radius: 4px;
+ border: solid 1px var(--theme-popup-border);
+ box-shadow: inset 0 -1px 0 var(--theme-hover);
+ display: inline-block;
+ font-size: var(--code-font-size);
+ font-family: var(--mono-font);
+ line-height: 10px;
+ padding: 4px 5px;
+ vertical-align: middle;
+}
+
+:not(.footnote-definition) + .footnote-definition,
+.footnote-definition + :not(.footnote-definition) {
+ margin-block-start: 2em;
+}
+.footnote-definition {
+ font-size: 0.9em;
+ margin: 0.5em 0;
+}
+.footnote-definition p {
+ display: inline;
+}
+
+.tooltiptext {
+ position: absolute;
+ visibility: hidden;
+ color: #fff;
+ background-color: #333;
+ transform: translateX(-50%); /* Center by moving tooltip 50% of its width left */
+ left: -8px; /* Half of the width of the icon */
+ top: -35px;
+ font-size: 0.8em;
+ text-align: center;
+ border-radius: 6px;
+ padding: 5px 8px;
+ margin: 5px;
+ z-index: 1000;
+}
+.tooltipped .tooltiptext {
+ visibility: visible;
+}
+
+.chapter li.part-title {
+ color: var(--sidebar-fg);
+ margin: 5px 0px;
+ font-weight: bold;
+}
+
+.result-no-output {
+ font-style: italic;
+}
+
+/* -------------------------------------------------------------- */
+
+/* Style sheet for TONC */
+
+dfn {
+ font-style: italic;
+ font-weight: bold;
+}
+
+div.note {
+ border-color: var(--fg);
+ background-color: var(--table-alternate-bg);
+}
+div.note p, div.note ul {
+ margin: 6px 0;
+}
+div.note ul {
+ padding-left: 20px;
+}
+div.note p + p {
+ margin-top: 12px;
+}
+
+div.nh, div.nhgood, div.nhbad, div.nhcare {
+ font-weight: bold;
+ margin-top: 5px;
+ padding-bottom: 2px;
+ border-bottom: 1px solid var(--quote-border);
+}
+
+/* TODO: can we use colours from the syntax highlighting style instead? */
+/* (or just tweak them a bit per-theme) */
+div.nhbad, .rem, .ack {
+ color: #ec1256;
+}
+div.nhgood {
+ color: #1ec36d;
+}
+div.nhcare {
+ color: #e88f42;
+}
+.hljs span.rem, .hljs span.rem * {
+ color: #ec1256;
+}
+.wavy {
+ text-decoration: underline wavy;
+}
+
+.bold {
+ font-weight: bold;
+}
+
+/* --- picture+caption frames --- */
+div.cpt, div.cpt_fl, div.cpt_fr {
+ margin: .5em; padding: 4px;
+ border: 1px var(--table-border-color) solid;
+ background-color: var(--table-alternate-bg);
+ font-size: 80%;
+ page-break-inside: avoid;
+}
+
+div.cpt_fl { float:left; }
+div.cpt_fr { float:right; }
+
+/* Margins inside tables work differently. */
+td div.cpt, td div.dpt_fl, td div.cpt_fr {
+ margin: 0;
+}
+
+.cpt p, .cpt_fl p, .cpt_fr p {
+ margin: 0.5em 0;
+}
+
+/* --- table block styles --- */
+/* yes, table and caption forms are required */
+
+div.reg { margin: 8px auto; text-align: center; width: 94%; }
+div.reg table { margin: 1px auto; margin-bottom: 12px; text-align: left; }
+div.reg caption { margin: 0px auto; text-align: left; }
+
+div.cblock { margin: 6px auto; text-align: center; }
+div.cblock div { margin: 2px auto; text-align: left; }
+div.cblock table { margin: 2px auto; text-align: left; }
+div.cblock caption { margin: 0px auto; text-align: left; }
+
+/* div.lblock { margin: 6px 3em; }
+div.lblock table { margin: 2px 0; } */
+
+div.cblock div.cpt { margin: 0.5em auto; }
+
+/* Fix oversight in the mdBook styles? */
+table, table th {
+ border: 1px var(--table-border-color) solid;
+}
+
+/* Gotta make register diagram table cells smaller so they fit on the page. */
+.table-reg th,
+.table-reg td {
+ padding: 3px 13px;
+}
+/* But some are too big even still. */
+table.reg-huge th,
+table.reg-huge td {
+ padding: 3px 7px;
+}
+
+/* === Table styles === */
+
+td.fill, th.fill { width: 16px; }
+
+/* --- reg table --- */
+.table-reg {
+ font: var(--mono-font-size) var(--mono-font);
+ page-break-inside: avoid;
+}
+caption.reg {
+ caption-side:top;
+ padding-bottom: 4px;
+}
+caption.reg, caption.reg * {
+ font-size: 1.2rem;
+}
+caption[align="bottom"], div.cblock caption[align="bottom"] {
+ margin-top: 6px;
+}
+
+caption.reg, tr.bits {
+ white-space: nowrap;
+}
+
+tr.bits, tr.bf, col.bits, col.bf, col.def { text-align: center; }
+col.bits, col.bf, col.def { vertical-align: top; }
+tr.bits, col.bits { font: var(--mono-font-size) var(--mono-font); }
+tr.bf, col.bf { font-weight: bold; }
+col.def { font: var(--mono-font-size) var(--mono-font); }
+
+/* read only, write only */
+.rof { text-decoration: overline; color: #f22; }
+.wof { text-decoration: underline; color: #44f; }
+
+/* reg colors */
+.rclr0 { color: #ef0d4b; }
+.rclr1 { color: #41adff; }
+.rclr2 { color: #45e774; }
+.rclr3 { color: #d948d9; }
+.rclr4 { color: #f9663e; }
+.rclr5 { color: #d09a4c; }
+.rclr6 { color: #e7849b; }
+.rclr7 { color: #dce24b; }
+.rclr8 { color:teal; }
+.rclr9 { color:gray; }
+
+font[color="blue"] { color: #43a8e6; }
+font[color="green"] { color: #45e774; }
+font[color="red"] { color: #ef0d4b; }
+
+/* Special case table overrides (in Text systems) */
+#fig\:img-fontpack, #tbl\:bupshade {
+
+ & table {
+ width: 100%;
+ font-size: 90%;
+ page-break-inside: avoid;
+ }
+
+ & span.rarr {
+ font-size:200%;
+ position: relative;
+ top: 0.26em;
+ }
+
+ & td, th {
+ padding: 1px 0;
+ }
+
+ & tr td, tr th {
+ background-color: var(--table-alternate-bg);
+ border: none;
+ text-align: center;
+ }
+
+ & .table-reg th, .table-reg td {
+ padding: 1px 3px;
+ font-family: 'SourceSans3';
+ }
+
+ & .bdrT, .bdrTL, .bdrTR, .bdrLL, .bdrRR {
+ border-top: 1px var(--fg) solid;
+ }
+
+ & .bdrL, .bdrTL, .bdrBL, .bdrLL {
+ border-left: 1px var(--fg) solid;
+ }
+ & .bdrB, .bdrBL, .bdrBR, .bdrLL, .bdrRR {
+ border-bottom: 1px var(--fg) solid;
+ }
+
+ & .bdrR, .bdrTR, .bdrBR, .bdrRR {
+ border-right: 1px var(--fg) solid;
+ }
+}
+
+#tbl\:bupshade {
+ width: 300px;
+ margin: 0px 10px;
+}
+
+/* --- */
+
+.menu-title {
+ font-weight: 400;
+ font-size: 2.75rem;
+ letter-spacing: -0.02em;
+ /* equals -2% */
+}
+
+.box {
+ margin: 20px 0;
+ padding: 1.6px 20px;
+ border-left-width: 0.75rem;
+ border-left-style: solid;
+}
+
+.box > .box-title {
+ font-weight: 600;
+ text-transform: uppercase;
+}
+
+.box.tip {
+ border-color: #42b983;
+ background-color: var(--quote-bg);
+}
+
+.box.warning {
+ border-left-color: var(--c-warning);
+ background-color: rgba(255, 229, 100, 0.2);
+ color: var(--c-warning-text);
+}
+
+.box.warning > .box-title {
+ color: var(--c-warning-title);
+}
+
+.box.danger {
+ border-left-color: var(--c-danger);
+ background-color: rgba(255, 0, 0, .15);
+ color: var(--c-danger-text);
+}
+
+.box.danger > .box-title {
+ color: var(--c-danger-title);
+}
+
+.spacer {
+ width: 100%;
+ height: 3px;
+ margin: 25px 0px 25px 0px;
+}
+
+/* Global CSS variables */
+
+:root {
+ /* (Override) workaround to get hover+active sidebar links on normal links blue */
+ --sidebar-active: var(--links);
+ /* Warning boxes base styling */
+ --c-warning: #e7c000;
+ --c-warning-bg: #fffae3;
+ --c-warning-title: #ad9000;
+ /* Danger boxes base styling */
+ --c-danger: #cc0000;
+ --c-danger-text: #660000;
+ --c-danger-title: #990000;
+}
+
+/* Theme-wide CSS variables */
+
+.ayu {
+ --c-warning-text: #eac100;
+ --c-danger-text: #ff2929;
+ --c-danger-title: #dc0000;
+}
+
+.coal {
+ --c-warning-text: #eac100;
+ --c-danger-text: #ff2929;
+ --c-danger-title: #dc0000;
+}
+
+.light {
+ --c-warning-text: #746000;
+}
+
+.navy {
+ --c-warning-text: #eac100;
+ --c-danger-text: #ff2929;
+ --c-danger-title: #dc0000;
+}
+
+.rust {
+ --c-warning-text: #ad8e00;
+}
+
diff --git a/theme/css/tonc.css b/theme/css/tonc.css
new file mode 100644
index 0000000..a1e9b61
--- /dev/null
+++ b/theme/css/tonc.css
@@ -0,0 +1,513 @@
+/* Tonc Classic theme */
+
+.tonc {
+ --bg: #c0f0f0;
+ --fg: hsl(0, 0%, 0%);
+
+ --sidebar-bg: #c0f0f0;
+ --sidebar-fg: hsl(0, 0%, 0%);
+ --sidebar-non-existant: #aaaaaa;
+ --sidebar-active: #1f1fff;
+ --sidebar-spacer: #a3e4e5;
+
+ --scrollbar: #8F8F8F;
+
+ --icons: #000060;
+ --icons-hover: #000000;
+
+ --links: blue;
+
+ --inline-code-color: #301900;
+
+ --theme-popup-bg: #c0f0f0;
+ --theme-popup-border: #80d6d7;
+ --theme-hover: #a3e4e5;
+
+ --quote-bg: hsl(197, 37%, 96%);
+ --quote-border: hsl(197, 37%, 91%);
+
+
+ --table-border-color: #808080;
+ --table-background-color: #e0e0e0;
+ --table-background-color-custom: #d0d0d0;
+ --table-header-bg: unset;
+ --table-alternate-bg: #B0B0B0;
+
+ --searchbar-border-color: #aaa;
+ --searchbar-bg: #fafafa;
+ --searchbar-fg: #000;
+ --searchbar-shadow-color: #aaa;
+ --searchresults-header-fg: #000060;
+ --searchresults-border-color: #888;
+ --searchresults-li-bg: #e4f2fe;
+ --search-mark-bg: #a2cff5;
+
+ --color-scheme: light;
+
+ /* Extra */
+ --font: Verdana, Geneva, Tahoma, sans-serif;
+ --font-size: 13px;
+ --warning-border: #ffe00;
+ --h2-color: green;
+ --h3-color: #000060;
+}
+
+.tonc {
+ background-color: #c0f0f0;
+ font-family: var(--font);
+ letter-spacing: 0px;
+}
+
+.tonc .content {
+ background-image: url(../../img/main/tonc_bg.png);
+}
+
+.tonc .content p,
+.tonc .content ul {
+ line-height: normal;
+}
+
+.tonc #menu-bar.bordered {
+ border-block-end-color: gray;
+ border-width: 2px;
+ border-bottom: groove;
+}
+
+.tonc .box,
+.tonc .note {
+ width: 92%;
+ margin: 0.7em auto;
+ padding: 8px;
+ background-color: #E0E0E0;
+ border: 2px solid #FF0000;
+ page-break-inside: avoid;
+ border-radius: 8px;
+ box-shadow: 2px 2px 4px #808080;
+}
+
+.tonc blockquote {
+ display: block;
+ margin-block-start: 1em;
+ margin-block-end: 1em;
+ margin-inline-start: 40px;
+ margin-inline-end: 40px;
+ background-color: unset;
+ border: none;
+}
+
+.tonc body .page .content {
+ font-size: var(--font-size);
+}
+
+/* Link text */
+.tonc .sidebar a:visited {
+ color: #551a8b;
+}
+
+.tonc .sidebar a, .tonc ul a {
+ color: blue;
+ text-decoration: underline;
+ line-height: normal;
+}
+
+.tonc .sidebar a:active {
+ color: red;
+}
+
+.tonc .sidebar {
+ font-size: var(--font-size) !important;
+}
+
+.tonc .content a:active {
+ color: red;
+}
+
+.tonc .box > .box-title {
+ margin-top: 0;
+ font-size: 115%;
+ font-weight: bold;
+ margin: 0.1em 0.5em 0.2em;
+ text-transform: none;
+}
+
+.tonc .box > p {
+ margin-block-start: 0px;
+ margin-block-end: 0px;
+ color: var(--fg);
+}
+
+.tonc .box.note > .box-title {
+ color: var(--fg);
+}
+
+.tonc .chapter li.part-title,
+.tonc .box.tip > .box-title {
+ color: green;
+}
+
+.tonc .box.warning > .box-title {
+ color: #c06000;
+}
+
+.tonc .box.danger > .box-title {
+ color: #ff0000;
+}
+
+/* Headers */
+.tonc h2::before {
+ color: var(--h2-color);
+}
+
+.tonc h3::before {
+ color: var(--h3-color);
+}
+
+.tonc h2, h3 {
+ margin-block-start: 1em;
+ margin-block-end: 0em;
+}
+
+.tonc .content h1 .header {
+ color: blue;
+}
+
+.tonc .content h2 .header {
+ margin: 1em 1em 0.2em;
+ font-size: 90%;
+ color: var(--h2-color);
+}
+
+.tonc .content h3 .header {
+ margin: 1em 1em 0.2em;
+ font-size: 90%;
+ color: #000060;
+}
+
+/* Code block style */
+.tonc pre code {
+ border: #C0C0C0 solid 1px;
+ width: 92%;
+ margin: 0.6em auto;
+ padding: 8px;
+ background: #E0E0E0 !important;
+ border-radius: 4px;
+ box-shadow: 2px 2px 4px #C0C0C0;
+ font: 500 100% "Courier New", monospace !important;
+}
+
+/* Clipboard icon on code */
+.tonc pre > .buttons :hover {
+ color: var(--searchresults-header-fg);
+ border-color: var(--searchresults-header-fg);
+ background-color: #c0c0c0;
+}
+
+.tonc pre > .buttons button {
+ border-color: var(--scrollbar);
+ background-color: #e0e0e0;
+ transition: 100ms;
+ transition-property: color,border-color,background-color;
+ color: var(--scrollbar);
+}
+
+/* Syntax highlighting on code */
+.tonc .hljs {
+ color: #202040;
+ font-family: monospace;
+ background: none;
+}
+
+.tonc .hljs span.rem,
+.tonc .hljs span.rem * {
+ color: red;
+}
+
+.tonc .hljs-comment,
+.tonc .hljs-quote {
+ color: green;
+}
+
+.tonc .hljs-keyword,
+.tonc .hljs-meta,
+.tonc .hljs-meta-keyword {
+ color: #0000D0;
+}
+
+.tonc .hljs-number {
+ color: #C000C0;
+}
+
+.tonc .hljs-title,
+.tonc .hljs-params {
+ color: #000000;
+}
+
+.tonc pre .buttons {
+ margin-right: 21px;
+}
+
+/* Register colors */
+.tonc .rclr0 { color:red; }
+.tonc .rclr1 { color:blue; }
+.tonc .rclr2 { color:#006000; }
+.tonc .rclr3 { color:magenta; }
+.tonc .rclr4 { color:brown; }
+.tonc .rclr5 { color:olive; }
+.tonc .rclr6 { color:purple; }
+.tonc .rclr7 { color:#C06000; }
+.tonc .rclr8 { color:teal; }
+.tonc .rclr9 { color:gray; }
+
+/* Override default table style */
+.tonc table,
+.tonc table th,
+.tonc table td {
+ border: none;
+ margin-left: 0px;
+ font-size: var(--font-size);
+}
+
+.tonc td {
+ padding: 2px;
+}
+
+.tonc table {
+ border-collapse: separate;
+ text-indent: initial;
+ line-height: normal;
+ font-weight: normal;
+ font-size: unset;
+ font-style: normal;
+ text-align: start;
+ border-spacing: 0px;
+ white-space: normal;
+ font-variant: normal;
+}
+
+/* Disable default alternate background colors for rows */
+.tonc table tbody tr:nth-child(2n) {
+ background: none;
+}
+
+/* Figures, captions, blocks */
+.tonc .cpt,
+.tonc .cpt_fl,
+.tonc .cpt_fr {
+ padding: 0.4em;
+ border: 1px var(--fg) solid;
+ background-color: unset;
+}
+
+.tonc .cpt .table-data,
+.tonc .cpt_fl .table-data,
+.tonc .cpt_fr .table-data {
+ font-size: var(--font-size);
+}
+
+.tonc caption {
+ font-size: 80%;
+ text-align:left;
+ margin-left: 1em; }
+
+.tonc div.lblock { margin: 6px 3em; }
+.tonc div.lblock table { margin: 2px 0; }
+
+/* Special case table overrides (in Text systems) */
+.tonc #fig\:img-fontpack {
+
+ & table {
+ font-family: var(--font);
+ }
+ & tr td, tr th {
+ background-color: unset;
+ }
+
+ & .table-reg th, .table-reg td {
+ padding: 1px 3px;
+ font-family: var(--font);
+ }
+}
+
+.tonc #tbl\:bupshade {
+ width: unset;
+ font-family: var(--font);
+ font-size: 120%;
+ margin: 0px 10px;
+
+ & tr td, tr th {
+ background-color: var(--table-background-color);
+ padding: 2px 4px;
+ }
+}
+
+.tonc #fig\:img-m7-ex {
+ border: 1px var(--fg) solid;
+}
+
+.tonc #tbl\:culltest mtable,
+.tonc #tbl\:culltest mtr,
+.tonc #tbl\:culltest mtd {
+ padding: 0px 0px;
+}
+
+/* Equations */
+.tonc .eqnrcell {
+ font-weight: bold;
+}
+
+.tonc .eqcell {
+ padding-left: 1em;
+}
+
+
+/* Normal data tables */
+.tonc table.table-data {
+ border: 1px outset var(--table-border-color);
+}
+
+.tonc table.table-data th,
+.tonc table.table-data tr,
+.tonc table.table-data td {
+ border: 1px inset var(--table-border-color);
+}
+
+/* Regular register tables */
+.tonc .table-reg tbody {
+ background-color: #e0e0e0;
+}
+
+.tonc .table-reg {
+ font: 90% "Courier New", monospace;
+ background: #E0E0E0;
+ border: solid #C0C0C0 1px;
+ page-break-inside: avoid;
+}
+
+.tonc .table-reg th,
+.tonc .table-reg td {
+ border: 1px inset #c0c0c0;
+ padding: 4px 4px;
+}
+
+/* Tall register tables */
+.tonc table.table-reg-vert {
+ border-collapse: separate;
+ text-indent: initial;
+ line-height: normal;
+ font-weight: normal;
+ font-size: medium;
+ font-style: normal;
+ text-align: start;
+ border-spacing: 2px;
+ border: none;
+ white-space: normal;
+ font-variant: normal;
+}
+
+.tonc table.table-reg-vert th {
+ border: none;
+ background-color: none;
+}
+
+.tonc table.table-reg-vert tr:nth-child(1n) td{
+ border: none;
+ background-color: #e0e0e0;
+ border-bottom: #c0c0c0 1px solid;
+}
+
+.tonc table.table-reg-vert tr:nth-child(2n) td{
+ border: none;
+ background-color: #c0c0c0;
+ border-bottom: #e0e0e0 1px solid;
+}
+
+/* Special case table (in Regular tiled backgrounds) */
+.tonc #tbl\:cbb-sbb th,
+.tonc #tbl\:cbb-sbb td {
+ padding: 3px 3px;
+}
+
+.tonc table[rules=groups i] {
+ border-collapse: collapse;
+}
+
+/* Rules cols equivalent, only column borders not rows */
+.tonc table.rules-cols td,
+.tonc table.rules-cols th {
+ border-top: none;
+ border-left: none;
+ border-bottom:none;
+ }
+
+.tonc table.rules-cols tr th:last-child,
+.tonc table.rules-cols tr td:last-child {
+ border-right: none;
+}
+
+/* Frame void and rules groups equivalent */
+.tonc table.rules-groups th {
+ border-top: none;
+ border-left: none;
+ border-right: 1px solid var(--fg);
+}
+
+.tonc table.rules-groups td {
+ border-top: none;
+ border-left: none;
+ border-bottom:none;
+ border-right: 1px solid var(--fg);
+ }
+
+ .tonc table.rules-groups {
+ border: none;
+ }
+
+.tonc table.rules-groups tr th:last-child,
+.tonc table.rules-groups tr td:last-child {
+ border-right: none;
+}
+
+.tonc table.rules-groups tbody tr th {
+ border-bottom: none;
+}
+
+/* Misc */
+.tonc table.border-none {
+ border: none;
+}
+
+.tonc table.border-none th,
+.tonc table.border-none td {
+ border: none;
+}
+
+.tonc tr.bits, tr.bf, col.bits, col.bf, col.def { text-align:center; }
+
+.tonc col.bits, col.bf, col.def { vertical-align:top; }
+.tonc tr.bits, col.bits { font: 90% "Courier New"; }
+.tonc tr.bf, col.bf { font-weight:bold; }
+.tonc col.def { font: 90% "Courier New"; }
+
+.tonc .center {
+ margin: auto;
+}
+
+.tonc tt {
+ color: #400080;
+}
+
+.tonc kbd {
+ color: #202040;
+ font-family: monospace;
+ background: none;
+ border: none;
+ box-shadow: none;
+}
+
+.tonc .bdr {
+ border: 1px var(--fg) solid;
+}
+
+.tonc .bdrB, .bdrBL, .bdrBR, .bdrLL, .bdrRR {
+ border-bottom: 1px black solid;
+}
\ No newline at end of file
diff --git a/theme/head.hbs b/theme/head.hbs
new file mode 100644
index 0000000..d868e6f
--- /dev/null
+++ b/theme/head.hbs
@@ -0,0 +1,15 @@
+
+
+
diff --git a/theme/index.hbs b/theme/index.hbs
new file mode 100644
index 0000000..7e1225d
--- /dev/null
+++ b/theme/index.hbs
@@ -0,0 +1,350 @@
+
+
+
+
+
+ | + {% if prev_num != None %} + {{ prev_name }} + {% endif %} + | +Contents | ++ {% if next_num != None %} + {{ next_name }} + {% endif %} + | +
| + {% if prev_num != None %} + Prev + {% endif %} + | +Contents | ++ {% if next_num != None %} + Next + {% endif %} + | +
| + {% if prev_num != None %} + {{ prev_name }} + {% endif %} + | ++ | + {% if next_num != None %} + {{ next_name }} + {% endif %} + | +
+ {% if articles_page.has_previous() %} + ⇇ + « + {% endif %} + Page {{ articles_page.number }} / {{ articles_paginator.num_pages }} + {% if articles_page.has_next() %} + » + ⇉ + {% endif %} +
+{% endif %} diff --git a/theme/templates/period_archives.html b/theme/templates/period_archives.html new file mode 100644 index 0000000..e1ddf62 --- /dev/null +++ b/theme/templates/period_archives.html @@ -0,0 +1,14 @@ +{% extends "base.html" %} + +{% block title %}{{ SITENAME }} - {{ period | reverse | join(' ') }} archives{% endblock %} + +{% block content %} +