etc/isabelle.css
changeset 66039 a2b8c3d31037
parent 66000 58aa6749ff36
child 66044 bd7516709051
equal deleted inserted replaced
66038:36bf57d6c011 66039:a2b8c3d31037
     5   clear: left;
     5   clear: left;
     6   padding-right: 0.5em;
     6   padding-right: 0.5em;
     7   font-weight: bold;
     7   font-weight: bold;
     8 }
     8 }
     9 
     9 
    10 body { background-color: #FFFFFF; }
    10 body {
       
    11   color: #000000;
       
    12   background-color: #FFFFFF;
       
    13 }
    11 
    14 
    12 .head     { background-color: #FFFFFF; }
    15 .head     { background-color: #FFFFFF; }
    13 .source   {
    16 .source   {
    14   direction: ltr; unicode-bidi: bidi-override;
    17   direction: ltr; unicode-bidi: bidi-override;
    15   background-color: #FFFFFF;
    18   background-color: #FFFFFF;