changeset 59125 | ee19c92ae8b4 |
parent 59123 | e68e44836d04 |
child 61374 | b3c665940d62 |
--- a/etc/isabelle.css Wed Dec 10 10:44:56 2014 +0100 +++ b/etc/isabelle.css Wed Dec 10 13:45:44 2014 +0100 @@ -44,9 +44,6 @@ .verbatim { color: #6600CC; } .cartouche { color: #CC6600; } .comment { color: #CC0000; } -.control { background-color: #FF6A6A; } +.improper { color: #FF5050; } .bad { background-color: #FF6A6A; } -.keyword1 { font-weight: bold; } -.keyword2 { font-weight: bold; } -