more jEdit colors;
authorwenzelm
Tue Dec 09 20:00:45 2014 +0100 (2014-12-09)
changeset 591218ea2748241da
parent 59120 74fde39274d5
child 59122 c1dbcde94cd2
more jEdit colors;
etc/isabelle.css
     1.1 --- a/etc/isabelle.css	Tue Dec 09 19:52:26 2014 +0100
     1.2 +++ b/etc/isabelle.css	Tue Dec 09 20:00:45 2014 +0100
     1.3 @@ -35,9 +35,11 @@
     1.4  
     1.5  .bold           { font-weight: bold; }
     1.6  
     1.7 -.keyword        { font-weight: bold; }
     1.8 +.keyword1       { color: #006699; font-weight: bold; }
     1.9 +.command        { color: #006699; font-weight: bold; }
    1.10 +.keyword2       { color: #009966; font-weight: bold; }
    1.11 +.keyword        { color: #009966; font-weight: bold; }
    1.12  .operator       { }
    1.13 -.command        { font-weight: bold; }
    1.14  .string         { color: #FF00CC; }
    1.15  .alt_string     { color: #CC00CC; }
    1.16  .verbatim       { color: #6600CC; }