/* stdlib.css */

.nowrap
{
  white-space: nowrap;
}

body
{
  width: 900px;
  font-family: Arial, Helvetica, sans-serif;
  background-color: ivory;
}


dd
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12pt;
  padding-top: 0.2em;
  padding-bottom: 0.3em;
}


dt
{
  font-family: Courier;
  font-weight: bold;
  padding-top: 0.2em;
  padding-bottom: 0.3em;
}


dt.faq
{
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
}


h2
{
  color: "#800000";
  text-align: center;
  /*font-family: Times New Roman, Times, serif;*/
  font-family: Arial, Helvetica, sans-serif;
  font-size: 14pt;
  font-weight: bold;
}


h3
{
  color: blue;
  background-color: lightgrey;
  border-width: medium;
  border-style: solid;
  padding: 0.1em;
}


h3.pagebreak
{
  color: blue;
  background-color: lightgrey;
  border-width: medium;
  border-style: solid;
  padding: 0.1em;
  page-break-before: always;
}


h3.notation
{
  color: #800000;
  background-color: lightgrey;
  border-width: medium;
  border-style: solid;
  padding: 0.1em;
}


h3.sampleprogs
{
  color: green;
  background-color: lightgrey;
  border-width: medium;
  border-style: solid;
  padding: 0.1em;
}


h3.miscnotes
{
  color: black;
  background-color: lightgrey;
  border-width: medium;
  border-style: solid;
  padding: 0.1em;
}


h3.prototypes
{
  color: black;
  background-color: yellow;
  border-width: medium;
  border-style: solid;
  padding: 0.1em;
}


h4
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12pt;
}


h4.unknown
{
  color: blue;
  font-size: 16pt;
  font-weight: bold;
  font-family: Courier, "Courier New", Monaco, monospace;
  page-break-before: auto;
}


h5
{
  color: black;
  background-color: lightgrey;
  border: thin groove;
  font-size: 12pt;
}


li big
{
  /*color: blue;*/
  font-style: italic;
}


p
{
  font-family: Arial, Helvetica, sans-serif;
  /*font-weight: bold;*/
}


p.index
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 8pt;
  font-weight: bold;
  text-align: left;
}


p.intro
{
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
}


p.nav
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 10pt;
  font-weight: bold;
  text-align: center;
}

p.pageheader
{
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 14pt;
  font-weight: bold;
  background-color: ivory;
  color: #800000;
}

pre
{
  font-family: Courier, "Courier New", Monaco, monospace;
  font-weight: bold;
  font-size: smaller;
}

span.separator
{
  background-color: yellow;
  font-weight: bold;
}

span.separator2
{
  background-color: lightblue;
  font-weight: bold;
}


table.nav
{
  font-weight: bold;
  font-size: smaller;
}



ol.hardleft
{
    margin-left: 1.5em;
    padding-left: 0;
}


ul.hardleft
{
    margin-left: 1.5em;
    padding-left: 0;
}


ul li
{
    padding-top: 0.2em;
    padding-bottom: 0.3em;
}


ol li
{
    padding-top: 0.2em;
    padding-bottom: 0.3em;
}