protect bookmark terminal colors #246

Author: jcubic

lib/css/terminal.css

@@ -1,5 +1,6 @@
 .lips.terminal {
-    --terminal: black;
+    --background: #000;
+    --color: #ccc;
 }
 .terminal .token.__doc__::before {
     color: var(--base-background, #000);