changeset 37194 | 825456e5db30 |
parent 37121 | 8e51fc35d59f |
child 37307 | 6dce93f3157d |
--- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css Sun May 30 14:21:35 2010 +0200 +++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css Sun May 30 15:27:49 2010 +0200 @@ -10,3 +10,7 @@ .hilite { background-color: #FFFACD; } +.keyword { font-weight: bold; color: #009966; } +.operator { font-weight: bold; } +.command { font-weight: bold; color: #006699; } +