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