src/Tools/jEdit/dist-template/etc/isabelle-jedit.css
changeset 37194 825456e5db30
parent 37121 8e51fc35d59f
child 37307 6dce93f3157d
equal deleted inserted replaced
37193:a4b2bb0dab08 37194:825456e5db30
     8 .error { background-color: #FFC1C1; }
     8 .error { background-color: #FFC1C1; }
     9 .debug { background-color: #FFE4E1; }
     9 .debug { background-color: #FFE4E1; }
    10 
    10 
    11 .hilite { background-color: #FFFACD; }
    11 .hilite { background-color: #FFFACD; }
    12 
    12 
       
    13 .keyword { font-weight: bold; color: #009966; }
       
    14 .operator { font-weight: bold; }
       
    15 .command { font-weight: bold; color: #006699; }
       
    16