/* $Id: src2html.css 818 2016-11-27 18:25:35Z mueller $ */

/* LightGreen: color:#90EE90 */

body { 
  font-size: 100%
}

.sstr {color:Red;    }
.slit {color:Red;    }
.skey {color:Orange; }
.styp {color:#00008B;}                 /* is a DarkBlue */
.sdir {color:#008000;}                 /* is a DarkGreen */
.snum {color:#A000A0;}                 /* is a DarkMagenta */

.scom { 
  color:#808080;                       /* was Grey */
  font-style: italic;
}

.sbad { 
  background-color:Silver;
}

.cboot {background-color:#ffc0ff;}       /* light magenta */
.ckern {background-color:#ffe0e0;}       /* light red */
.cnet  {background-color:#ffd700;}       /* gold */
.clib  {background-color:#c0ffc0;}       /* light green */
.cuser {background-color:#e0e0ff;}       /* light blue  */
.cecom {background-color:#f8f8f8;}       /* light grey */

:link,
:link:focus,
:link:active,
:visited,
:visited:focus,
:visited:active {
  text-decoration:none;
  color:#0000ff;
}

:link:hover,
:visited:hover {
  background-color:#b4d5ff;
  color:#1559B3;
}

span.mans {			        /* man page .SH text (bold/colored) */
  font-weight:bold;
  color:#A000A0;
}
span.manb {			        /* man page .B text (bold face) */
  font-weight:bold;
}
span.mani {			        /* man page .I text (italic) */
  font-style:italic;
  color:#008000;		        /* dark green */
}

div#head { 
  background-color:white;
}

div#navi { 
  font-size: 1em;
  float: left;
  width: 13em;
  margin-left: 0.5em;
  padding: 0.5em 0.5em;
  background-color:white;
}

div#body { 
  margin: 0.5em 0.5em 0.5em 15em;
  padding: 0 0.5em 0.5em 0;
  min-width: 16em;
  background-color:white;
}
div#code { 
  margin: 0 0;
  padding: 0 0;
  background-color:white;
}
div#xref { 
  margin: 0 0;
  padding: 0.5em 0.5em;
  background-color:white;
}
div#tail { 
  clear: both;
  margin: 0.5em 0.5em;
  padding: 0.5em 0.5em;
  background-color:white;
}

td.nave {
  background-color:#ffffff;
}
td.navo { 
  background-color:#f0f0f0;
}

span.pref { 
  white-space:pre; 
  font-family:monospace;
}
span.nave { 
  background-color:#ffffff;
}
span.navo { 
  background-color:#f0f0f0;
}
span.nave span.navx { 
  margin: 0 0;
  padding: 0 0.4em;
  background-color:#f0f0f0;
}
span.navo span.navx { 
  margin: 0 0;
  padding: 0 0.4em;
  background-color:#e0e0e0;
}

div#navi h5 { 
  margin: 0.3em 0;
  background-color:#d0d0d0;
}

div#navi pre { 
  margin: 0.3em 0;
}

div#navi :link:hover,
div#navi :visited:hover {
  font-weight:bold;
}

div#xref h4 { 
  margin: 0.3em 0;
  background-color:#d0d0d0;
}

div.xe { 
  padding: 0.3em 0;
  background-color:#ffffff;
}
div.xo { 
  padding: 0.3em 0;
  background-color:#f0f0f0;
}

div.xe ul { 
  margin: 0 0;
}
div.xo ul { 
  margin: 0 0;
}

div.xe li { 
  margin: 0 0;
}
div.xo li { 
  margin: 0 0;
}

div.xe li.xxe { 
  background-color:#ffffff;
}
div.xe li.xxo { 
  background-color:#f8f8f8;
}

div.xo li.xxe { 
  background-color:#f0f0f0;
}
div.xo li.xxo { 
  background-color:#f8f8f8;
}