officially include dark theme

Author: dginev

css/ar5iv-dark.css

@@ -1,5 +1,6 @@
 /* Variables */
-:root {
+:root,
+[data-theme="light"] {
   --main-width: 52rem;
   --main-width-margin: 54rem;
   /* fonts */
@@ -25,6 +26,28 @@
   --index-ref-color: lightcoral;
 }
 
+/* Dark theme */
+[data-theme="dark"] {
+  /* TODO: style the rest */
+  --background-color: #151515;
+  --text-color: #ddd; 
+  --link-text-color: #ddd;
+  --border-color: white;
+  --border-light-color: #d4d4d4;
+  --note-mark-color: #daa002; /* color: #3f88c5; */
+  --note-highlight-color: midnightblue;
+  /* TODO: consider dedicated info, warning and fatal colors*/
+  --error-text-color: #d84148;
+  --index-ref-color: #cd5b45;
+  /* keep images in "light theme", as transparent PNGs 
+    get generated by latexml with a light theme expectation. */
+  --image-color: black;
+  --image-background-color: white;
+}
+[data-theme="dark"] img, svg {
+  filter: brightness(.8) contrast(1.2);
+}
+
 /* Main content */
 body {
   margin:0;