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

body { background-color: #FFFFFF; }

.head     { background-color: #FFFFFF; }

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

.external_source { background-color: #FFFFFF; padding: 10px; }

.external_footer { background-color: #FFFFFF; }

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

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

.name     { font-style: italic; }

.filename { font-family: fixed; }

/* basic syntax markup */

.hidden         { font-size: 1px; visibility: hidden; }

.binding        { color: #336655; }

.tfree          { color: #A020F0; }

.tvar           { color: #A020F0; }

.free           { color: blue; }

.skolem         { color: #D2691E; }

.bound          { color: green; }

.var            { color: #00009B; }

.numeral        { }

.literal        { font-weight: bold; }

.delimiter      { }

.inner_string   { color: #FF00CC; }

.inner_cartouche { color: #CC6600; }

.inner_comment  { color: #CC0000; }

.bold           { font-weight: bold; }

.keyword1       { color: #006699; font-weight: bold; }

.keyword2       { color: #009966; font-weight: bold; }

.keyword3       { color: #0099FF; font-weight: bold; }

.operator       { }

.string         { color: #FF00CC; }

.alt_string     { color: #CC00CC; }

.verbatim       { color: #6600CC; }

.cartouche      { color: #CC6600; }

.comment        { color: #CC0000; }

.improper       { color: #FF5050; }

.bad            { background-color: #FF6A6A; }