/* css style file for generated Isabelle HTML output */

body { background-color: #FFFFFF; }

.tclass { color: red; }

.tfree  { color: purple; }

.tvar   { color: purple; }

.free   { color: blue; }

.skolem { color: brown; }

.bound  { color: green; }

.var    { color: blue; }

.xstr   { color: brown; }

.loc    { color: brown; }

.name     { font-style: italic; }

.keyword  { font-weight: bold; }

.command  { font-weight: bold; }

.filename { font-family: fixed; }

.head     { background-color: #FFFFFF; }

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

.theorems { background-color: #E0E0E0; padding: 10px; }

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

.mlfooter { background-color: #FFFFFF; }

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

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

.junk           { background-color: #FF6A6A; font-weight: bold; }

.string         { color: #008B00; }

.altstring      { color: #8B8B00; }

.verbatim       { color: #00008B; }

.comment        { color: #00008B; }

.control        { background-color: #FF6A6A; font-weight: bold; }

.malformed      { background-color: #FF6A6A; font-weight: bold; }

/* hide hr for this style */

hr { height: 0px; border: 0px; }