# HG changeset patch
# User wenzelm
# Date 1496920660 -7200
# Node ID a2b8c3d310372e0483bb80ce3e39511068b4891a
# Parent  36bf57d6c0116b234698ab3e09829363cfdc1835
explicit foreground color, for the sake of dark theme in VSCode;

diff -r 36bf57d6c011 -r a2b8c3d31037 etc/isabelle.css
--- a/etc/isabelle.css	Thu Jun 08 13:01:50 2017 +0200
+++ b/etc/isabelle.css	Thu Jun 08 13:17:40 2017 +0200
@@ -7,7 +7,10 @@
   font-weight: bold;
 }
 
-body { background-color: #FFFFFF; }
+body {
+  color: #000000;
+  background-color: #FFFFFF;
+}
 
 .head     { background-color: #FFFFFF; }
 .source   {