hare

commit 94fc08e549725e05696c30916dee4b16a4e3c9d8
parent 07c2da29a0ab5c9af583c162c9d182219718a1b5
Author: Drew DeVault <sir@cmpwn.com>
Date:   Thu, 27 Jan 2022 10:16:26 +0100

haredoc: improve dark theme

Signed-off-by: Drew DeVault <sir@cmpwn.com>

Diffstat:
M
cmd/haredoc/html.ha
 | 
11
+++++++----

1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/cmd/haredoc/html.ha b/cmd/haredoc/html.ha
@@ -763,6 +763,9 @@ nav:not(#TableOfContents) {
 
 nav:not(#TableOfContents) img {
 	grid-area: logo;
+	position: relative;
+	right: 1rem;
+	border-radius: 128px;
 }
 
 nav:not(#TableOfContents) h1 {
@@ -874,8 +877,8 @@ details pre {
 		color: #e1dfdc;
 	}
 
-	img[src='/mascot.jpg'] {
-		filter: invert(.92);
+	img[src='https://harelang.org/mascot.jpg'] {
+		filter: invert(.88);
 	}
 
 	a {
@@ -899,7 +902,7 @@ details pre {
 	}
 
 	pre {
-		background-color: #16191c;
+		background-color: #24272b;
 	}
 
 	pre .keyword {
@@ -913,7 +916,7 @@ details pre {
 </style>
 <nav>
 	<img
-		src='/mascot.jpg'
+		src='https://harelang.org/mascot.jpg'
 		alt='An inked drawing of the Hare mascot, a fuzzy rabbit'
 		width='128' height='128' />
 	<h1>Hare documentation</h1>