From 750ea92067df2c8ddf8654f2667d7219f2141519 Mon Sep 17 00:00:00 2001
From: BodgeMaster <>
Date: Wed, 14 Jan 2026 20:27:45 +0100
Subject: [PATCH] style: make background darker and adjust other colors as
 needed

The background is now even more gray than it was before to make it easier on the eyes.
---
 html_resources/style.css | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/html_resources/style.css b/html_resources/style.css
index 63fe3d3..6799eee 100644
--- a/html_resources/style.css
+++ b/html_resources/style.css
@@ -3,14 +3,14 @@
 }
 
 a {
-  color: #1515A0;
+  color: #051390;
 }
 a:visited {
-  color: #185113;
+  color: #134709;
 }
 
 html {
-  background-color: #e5e3e0;
+  background-color: #d7d6d1;
 }
 
 body {
@@ -89,7 +89,7 @@ p.copyright {
   margin-bottom: 0;
   text-align: center;
   font-size: 0.8em;
-  color: gray;
+  color: #606a76;
   bottom: 2px;
 }
 
@@ -121,7 +121,7 @@ pre {
 
 pre.terminal {
   color: #B5E550;
-  background-color: #3F3F3F;
+  background-color: #3b3b3b;
   border: 1px solid #101030;
 
   padding: 1em;
@@ -139,7 +139,7 @@ pre.terminal span.blur {
 pre.paper {
   /* TODO: typewriter-look? */
   /* TODO: tractor feed ribbons? */
-  background-color: #F0E6CE;
+  background-color: #f0e8d6;
   border: 1px solid #101030;
 
   padding: 1em;
@@ -147,7 +147,7 @@ pre.paper {
 }
 
 span.paper.green {
-  background-color: #D0DBA6;
+  background-color: #d4deae;
 }
 
 span.quote.speech {
@@ -201,30 +201,30 @@ However, Chromium apparently doesn't apply the a:visted color to children of <a>
 */
 
 span.chapter {
-  color: #1515A0;
+  color: #051390;
 }
 a:visited>span.chapter {
-  color: #185113;
+  color: #134709;
 }
 span.chapter::before {
   content: "\25b9";
   font-size: 0.75em;
   position: relative;
   bottom: 0.15em;
-  color: #090944;
+  color: #08083e;
 }
 a:visited>span.chapter::before {
-  color: #0f320c;
+  color: #0e310b;
 }
 span.chapter::after {
   content: "\25c3";
   font-size: 0.75em;
   position: relative;
   bottom: 0.15em;
-  color: #090944;
+  color: #08083e;
 }
 a:visited>span.chapter::after {
-  color: #0f320c;
+  color: #0e310b;
 }
 
 span.blur {
@@ -289,7 +289,7 @@ div.home a:hover, div.next a:hover, div.prev a:hover {
 
 .comment {
   font-style: italic;
-  color: gray !important;
+  color: #606a76 !important;
 }
 
 svg.hidden_filter {