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
*/
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 {