Update 'server/site.css'

server/site.css

@@ -1,14 +1,17 @@
 /*
-COPYRIGHT (C) 2006-2018 Anton McClure
-Anton McClure - https://gozips.uakron.edu/~asm135
-
+This file is released to the public domain.
+Richard Stallman - http://stallman.org
 */
 
 body {
   color: #000000;
   background-color: #FFFFFF;
-/*  font-family: "Times, Times New Roman", serif;*/
-margin: 0px 20px 0px 20px;
+  margin: 0px 20px 0px 20px;
+}
+
+body.dark {
+  color: #ddd;
+  background-color: #333;
 }
 
 a.glossary {
@@ -17,6 +20,14 @@ a.glossary {
     display: inline-block;
 }
 
+a.dark {
+  color: #ff0;
+}
+
+a.dark:visited {
+  color: #aa0;
+}
+
 /* Need hover for accessibility */
 a:link:hover {
     color: #9932CC;
@@ -170,6 +181,5 @@ sup {
 
 div.comp {
     margin: 0 auto;
-   width: 98%;
+    width: 98%;
 }
-