more accurate HTML rendering;
authorwenzelm
Sun, 24 Mar 2019 20:31:53 +0100
changeset 70154 5e82015fa879
parent 70153 4e98239aa083
child 70155 a3e3be17dca5
child 70168 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); }