lib/html/isabelle.css

simplified message markup, using plain XML.Elem directly;

/* style file for Isabelle XHTML/XML output */

body { background-color: #FFFFFF; }

.head     { background-color: #FFFFFF; }
.source   { background-color: #F0F0F0; padding: 10px; }

.mlsource { background-color: #F0F0F0; padding: 10px; }
.mlfooter { background-color: #FFFFFF; }

.theories { background-color: #F0F0F0; padding: 10px; }
.sessions { background-color: #F0F0F0; padding: 10px; }

.name     { font-style: italic; }
.filename { font-family: fixed; }

/* hide hr for this style */
hr { height: 0px; border: 0px; }


/* basic syntax markup */

.hidden, hidden { font-size: 0.1pt; visibility: hidden; }

.tclass, tclass               { color: red; }
.tfree, tfree                 { color: #A020F0; }
.tvar, tvar                   { color: #A020F0; }
.free, free                   { color: blue; }
.skolem, skolem               { color: #D2691E; font-weight: bold; }
.bound, bound                 { color: green; }
.var, var                     { color: #00009B; }
.numeral, numeral             { }
.literal, literal             { font-weight: bold; }
.inner_string, inner_string   { color: #D2691E; }
.inner_comment, inner_comment { color: #8B0000; }

.bold, bold  { font-weight: bold; }
.loc, loc  { color: #D2691E; }

.keyword, keyword      { font-weight: bold; }
.command, command      { font-weight: bold; }
.ident, ident          { }
.string, string        { color: #008B00; }
.altstring, altstring  { color: #8B8B00; }
.verbatim, verbatim    { color: #00008B; }
.comment, comment      { color: #8B0000; }
.control, control      { background-color: #FF6A6A; }
.malformed, malformed  { background-color: #FF6A6A; }

.malformed_span, malformed_span { background-color: #FF6A6A; }