From 516db90cdcc1287a40260090db8be5dae2933de7 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Sat, 6 Sep 2025 19:38:44 +0200 Subject: [PATCH 01/14] assets/sass: use correct filename suffix The files in `assets/sass` are written in SCSS, not plain CSS. Therefore they should have the `.scss` suffix, not `.css`. Signed-off-by: Johannes Schindelin --- assets/sass/{dark-mode.css => dark-mode.scss} | 0 assets/sass/{git-turns-20.css => git-turns-20.scss} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename assets/sass/{dark-mode.css => dark-mode.scss} (100%) rename assets/sass/{git-turns-20.css => git-turns-20.scss} (100%) diff --git a/assets/sass/dark-mode.css b/assets/sass/dark-mode.scss similarity index 100% rename from assets/sass/dark-mode.css rename to assets/sass/dark-mode.scss diff --git a/assets/sass/git-turns-20.css b/assets/sass/git-turns-20.scss similarity index 100% rename from assets/sass/git-turns-20.css rename to assets/sass/git-turns-20.scss From 46e1a99073c7214e4abe1308c0ad2d0f4a6c3ec9 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Sat, 6 Sep 2025 19:48:32 +0200 Subject: [PATCH 02/14] Add a print-specific style sheet It would appear that the navigation bar is already suppressed when printing, thanks to being inside an `