explicit foreground color, for the sake of dark theme in VSCode;
authorwenzelm
Thu Jun 08 13:17:40 2017 +0200 (23 months ago)
changeset 66039a2b8c3d31037
parent 66038 36bf57d6c011
child 66040 f826ba18fe08
explicit foreground color, for the sake of dark theme in VSCode;
etc/isabelle.css
     1.1 --- a/etc/isabelle.css	Thu Jun 08 13:01:50 2017 +0200
     1.2 +++ b/etc/isabelle.css	Thu Jun 08 13:17:40 2017 +0200
     1.3 @@ -7,7 +7,10 @@
     1.4    font-weight: bold;
     1.5  }
     1.6  
     1.7 -body { background-color: #FFFFFF; }
     1.8 +body {
     1.9 +  color: #000000;
    1.10 +  background-color: #FFFFFF;
    1.11 +}
    1.12  
    1.13  .head     { background-color: #FFFFFF; }
    1.14  .source   {