Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
explicit foreground color, for the sake of dark theme in VSCode;
authorwenzelm
Thu, 08 Jun 2017 13:17:40 +0200
changeset 66039 a2b8c3d31037
parent 66038 36bf57d6c011
child 66040 f826ba18fe08
explicit foreground color, for the sake of dark theme in VSCode;
etc/isabelle.css file | annotate | diff | comparison | revisions 
--- 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   {
isabelle