author | wenzelm |
Sun, 24 Mar 2019 20:31:53 +0100 (2019-03-24) | |
changeset 69972 | 5e82015fa879 |
parent 69971 | 4e98239aa083 |
child 69973 | a3e3be17dca5 |
child 69986 | f2d327275065 |
etc/isabelle.css | file | annotate | diff | comparison | revisions |
--- a/etc/isabelle.css Sun Mar 24 19:17:42 2019 +0100 +++ b/etc/isabelle.css Sun Mar 24 20:31:53 2019 +0100 @@ -68,6 +68,9 @@ .cartouche { color: #CC6600; } .comment { color: #CC0000; } .improper { color: #FF5050; } +.antiquote { color: #6600CC; } +.raw_text { color: #6600CC; } +.plain_text { color: #CC6600; } .bad { background-color: #FF6A6A; } .quoted { background-color: rgba(139,139,139,0.05); } .antiquoted { background-color: rgba(255,200,50,0.1); }