/* css 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; }

/* inner and outer syntax markup */

.tfree, tfree          { color: purple; }

.tvar, tvar            { color: purple; }

.free, free            { color: blue; }

.skolem, skolem        { color: brown; }

.bound, bound          { color: green; }

.var, var              { color: blue; }

.num, num              { }

.xnum, xnum            { }

.xstr, xstr            { color: brown; }

.literal, literal      { font-weight: bold; }

.loc, loc              { color: brown; }

.tclass, tclass        { color: red; }

.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; }