From 85fe24c8f88cabb1129761ffc25b4efcb33c0900 Mon Sep 17 00:00:00 2001 From: glyn Date: Thu, 7 Nov 2024 16:02:24 +0000 Subject: [PATCH] deploy: 1f7a1508dc0adf31d10634f49d07db871eda0c62 --- 404.html | 49 ++++++++++++----------------------------- applications.html | 49 ++++++++++++----------------------------- book.js | 14 +++++++----- css/chrome.css | 54 ++++++++++++++++++++++++++++++++++++++-------- css/general.css | 10 +++++++++ css/variables.css | 36 ++++++++++++++++++++++++++++--- highlight.css | 1 + index.html | 51 +++++++++++++------------------------------ official.html | 50 +++++++++++++----------------------------- print.html | 52 ++++++++++++++------------------------------ searchindex.js | 2 +- searchindex.json | 2 +- title-page.html | 51 +++++++++++++------------------------------ toc.html | 32 +++++++++++++++++++++++++++ toc.js | 54 ++++++++++++++++++++++++++++++++++++++++++++++ tomorrow-night.css | 2 ++ unofficial.html | 49 ++++++++++++----------------------------- 17 files changed, 291 insertions(+), 267 deletions(-) create mode 100644 toc.html create mode 100644 toc.js diff --git a/404.html b/404.html index 85c8442..cd8609b 100644 --- a/404.html +++ b/404.html @@ -1,5 +1,5 @@ - + @@ -8,7 +8,7 @@ - + @@ -32,7 +32,7 @@ - +
- - +
- +