/* standard document markup */

 dt {

   float: left;

   clear: left;

   padding-right: 0.5em;

   font-weight: bold;

 }

 body {

   color: #000000;

   background-color: #FFFFFF;

 }

 .head     { background-color: #FFFFFF; }

 .source   {

   direction: ltr; unicode-bidi: bidi-override;

   background-color: #FFFFFF;

   padding: 10px;

   font-family: IsabelleText;

   line-height: 147%;

 }

 .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-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); }

 .binding        { color: #336655; }

 .tfree          { color: #A020F0; }

 .tvar           { color: #A020F0; }

 .free           { color: #0000FF; }

 .skolem         { color: #D2691E; }

 .bound          { color: #008000; }

 .var            { color: #00009B; }

 .numeral        { }

 .literal        { font-weight: bold; }

 .delimiter      { }

 .inner_numeral  { color: #FF0000; }

 .inner_quoted   { color: #FF00CC; }

 .inner_cartouche { color: #CC6600; }

 .inner_comment  { color: #CC0000; }

 .dynamic        { color: #7BA428; }

 .class_parameter_color { color: #D2691E; }

 .bold           { font-weight: bold; }

 .main           { color: #000000; }

 .command        { font-weight: bold; }

 .keyword        { font-weight: bold; }

 .keyword1       { color: #006699; }

 .keyword2       { color: #009966; }

 .keyword3       { color: #0099FF; }

 .quasi_keyword  { color: #9966FF; }

 .operator       { color: #323232; }

 .string         { color: #FF00CC; }

 .alt_string     { color: #CC00CC; }

 .verbatim       { color: #6600CC; }

 .cartouche      { color: #CC6600; }

 .comment        { color: #CC0000; }

 .improper       { color: #FF5050; }

 .bad            { background-color: #FF6A6A; }

 .quoted         { background-color: rgba(139,139,139,0.05); }

 .antiquoted     { background-color: rgba(255,200,50,0.1); }

 /* message background */

 .writeln_message      { background-color: #F0F0F0; }

 .information_message  { background-color: #DCEAF3; }

 .tracing_message      { background-color: #F0F8FF; }

 .warning_message      { background-color: #EEE8AA; }

 .legacy_message       { background-color: #EEE8AA; }

 .error_message        { background-color: #FFC1C1; }

 /* message underline */

 .writeln { border-bottom: 1px dotted #C0C0C0; }

 .information { border-bottom: 1px dotted #C1DFEE; }

 .warning { border-bottom: 1px dotted #FF8C00; }

 .legacy { border-bottom: 1px dotted #FF8C00; }

 .error { border-bottom: 1px dotted #B22222; }

 /* tooltips */

 .writeln { position: relative; display: inline-block; }

 .information { position: relative; display: inline-block; }

 .warning { position: relative; display: inline-block; }

 .legacy { position: relative; display: inline-block; }

 .error { position: relative; display: inline-block; }

 .writeln:hover .tooltip { visibility: visible; }

 .information:hover .tooltip { visibility: visible; }

 .warning:hover .tooltip { visibility: visible; }

 .legacy:hover .tooltip { visibility: visible; }

 .error:hover .tooltip { visibility: visible; }

 .tooltip {

   top: -0.5ex;

   left: 5em;

   visibility: hidden;

   width: 50em;

   border: 1px solid #808080;

   padding: 1px 1px;

   background-color: #FFFFE9;

   position: absolute;

   z-index: 1;

 }

 .tooltip pre { margin: 1px; white-space: pre-wrap; }