more accurate HTML rendering;
authorwenzelm
Sun Mar 24 20:31:53 2019 +0100 (2 months ago)
changeset 699725e82015fa879
parent 69971 4e98239aa083
child 69973 a3e3be17dca5
child 69986 f2d327275065
more accurate HTML rendering;
etc/isabelle.css
     1.1 --- a/etc/isabelle.css	Sun Mar 24 19:17:42 2019 +0100
     1.2 +++ b/etc/isabelle.css	Sun Mar 24 20:31:53 2019 +0100
     1.3 @@ -68,6 +68,9 @@
     1.4  .cartouche      { color: #CC6600; }
     1.5  .comment        { color: #CC0000; }
     1.6  .improper       { color: #FF5050; }
     1.7 +.antiquote      { color: #6600CC; }
     1.8 +.raw_text       { color: #6600CC; }
     1.9 +.plain_text     { color: #CC6600; }
    1.10  .bad            { background-color: #FF6A6A; }
    1.11  .quoted         { background-color: rgba(139,139,139,0.05); }
    1.12  .antiquoted     { background-color: rgba(255,200,50,0.1); }