etc/isabelle.css
changeset 48752 8a81ef0bc790
parent 48751 dc3bbdda4bc8
child 49554 7b7bd2d7661d
equal deleted inserted replaced
48751:dc3bbdda4bc8 48752:8a81ef0bc790
    42 .verbatim       { color: #00008B; }
    42 .verbatim       { color: #00008B; }
    43 .comment        { color: #8B0000; }
    43 .comment        { color: #8B0000; }
    44 .control        { background-color: #FF6A6A; }
    44 .control        { background-color: #FF6A6A; }
    45 .bad            { background-color: #FF6A6A; }
    45 .bad            { background-color: #FF6A6A; }
    46 
    46 
    47 .malformed_span { background-color: #FF6A6A; }
       
    48