etc/isabelle.css
changeset 69972 5e82015fa879
parent 69351 bff3eb77b0d1
child 72962 af2d0e07493b
equal deleted inserted replaced
69971:4e98239aa083 69972:5e82015fa879
    66 .alt_string     { color: #CC00CC; }
    66 .alt_string     { color: #CC00CC; }
    67 .verbatim       { color: #6600CC; }
    67 .verbatim       { color: #6600CC; }
    68 .cartouche      { color: #CC6600; }
    68 .cartouche      { color: #CC6600; }
    69 .comment        { color: #CC0000; }
    69 .comment        { color: #CC0000; }
    70 .improper       { color: #FF5050; }
    70 .improper       { color: #FF5050; }
       
    71 .antiquote      { color: #6600CC; }
       
    72 .raw_text       { color: #6600CC; }
       
    73 .plain_text     { color: #CC6600; }
    71 .bad            { background-color: #FF6A6A; }
    74 .bad            { background-color: #FF6A6A; }
    72 .quoted         { background-color: rgba(139,139,139,0.05); }
    75 .quoted         { background-color: rgba(139,139,139,0.05); }
    73 .antiquoted     { background-color: rgba(255,200,50,0.1); }
    76 .antiquoted     { background-color: rgba(255,200,50,0.1); }
    74 
    77 
    75 
    78