hare

commit b7158f2188b22737a0d6d347e2fb59a5389049bf
parent 126a53a80382acb0597e4d4c5d2748d18b09bcec
Author: Drew DeVault <sir@cmpwn.com>
Date:   Thu, 27 Jan 2022 13:53:56 +0100

Revert "haredoc: improve dark theme"

This reverts commit 94fc08e549725e05696c30916dee4b16a4e3c9d8.

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

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