more accurate HTML rendering;
authorwenzelm
Sun, 24 Mar 2019 20:31:53 +0100 (2019-03-24)
changeset 69972 5e82015fa879
parent 69971 4e98239aa083
child 69973 a3e3be17dca5
child 69986 f2d327275065
more accurate HTML rendering;
etc/isabelle.css
--- 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); }