Regarding usage of JavaScript

On 20.02.2022 I decided to lift the "ban" on usage of JavaScript in this website. This gives me the freedom to implement some useful features for those that have it enabled. Any content that doesn't depend on JavaScript will be perfectly consumable without it!

Any user data that might be saved isn't, and never will be, used for purposes not listed here. There isn't, and won't ever be, any form of tracking or data collection that isn't required for some feature (listed here).

Implemented features

ScriptDescriptionGitLab sourceSizeLines
image-show.jsClick to zoom on imagesLink551B24
back-to-top.jsAutomatically appearing button to scroll to topLink378B15
styling-preload.jsDisable/enable certain stylesheets before page renderingLink385B13
theme-changer.jsChange theme between light and dark (split in two files)Link468B18
page-width.jsChange whether text covers the whole width of the page or only the middle (applicable to wide screens)Link640B23
expand-navbar.jsButton to shrink and expand the sidebarLink728B20
presentation.jsPresentation logic (button capabilities and other) Loaded only on pages with presentations!Link5.0KB154
keyboard.jsImplements keyboard shortcutsLink810B40
Total without presentation.js4.0KB153
Total with presentation.js9.0KB307

Data in browser storage

Local storage

KeyValuesDescription
themedark | lightSaves which theme should be loaded
widthnorm | wideSaves in which width pages should be shown
navbarnorm | hiddenSaves whether the navbar should be expanded or shrunk