Updated colorscheme to gruvbox light.

2025-06-21 13:52:12 +08:00
parent 0c4702f3c1
commit 2fa346acc1
2 changed files with 61 additions and 49 deletions
--- a/style.css
+++ b/style.css
@@ -6,7 +6,7 @@ html {

 body {
  font-family: "Palatino", "Georgia", Times, serif;
-  background-color: rgb(255, 255, 250);
+  background-color: rgb(248,245,218);
  line-height: 1.4;
  padding-bottom: 12.5em;
 }
@@ -32,6 +32,18 @@ p {
  padding-bottom: 0.5em;
 }

+a {
+  color: #076678;
+}
+
+.paperlink {
+  color: #9d0006;
+}
+
+.extlink {
+  color: #427b58;
+}
+
 #topbar {
  display: inline-block;
  padding: 0 0.25em;
@@ -56,7 +68,7 @@ ul#course {
 .navbar {
  opacity: 0.8;
  overflow: hidden;
-  background-color: #333;
+  background-color: #3c3836;
  position: fixed;
  /* Set the navbar to fixed position */
  top: 0;