/*
 * Style sheet for Pooh's web page
 * $Id: conf.css,v 1.1.1.1 2006/03/10 23:48:25 ethanmiller Exp $
 */

body {
      background: white;
      /* background: #def url("recbg.jpg"); */
      color: black;
      margin: 0.5em;
      font-family: helvetica, sans-serif;
      }

/*
a:link {
    color: #ffaa00;
      }

a:visited {
    color: #ff7700;
      }
*/

h1, h2, h3, h4, h5, h6 {
      font-family: helvetica, sans-serif;
      text-align: center;
      /* font-weight: bold; */
      background: #336699;
      color: white;
      /*    font-style: italic; */
      }

h4 { 
  color: black;
  background: white;
  text-align: left;
}

.red {
      color: red;
      }

table.InfoOut	{ 
      background-color: #CCCCCC
      }

td.Name	{
      font-size: 20pt;
      font-weight: bold;
      color: #006600;
      background-color: #EEEEEE
      }

td.Job {
      font-size: 12pt;
      background-color: #EEEEEE
      }

td.Desc {
      color: #660000;
      background-color: #EEEEEE;
      font-weight: bold
      }

td.Info	{
      background-color: #EEEEEE
      }

td.NavBar {
  background-color: #999999;
  color: white;
  font-weight: bold;
  text-align: center;
  padding: 5px;
}

span.NavBar {
  background-color: #999999;
  color: white;
  font-weight: bold;
  text-align: center;
  padding: 5px;
}

td.Topic {
      font-size: 14pt;
      font-weight: bold;
      color: #FFFFFF;
      background-color: #004488;
      padding-left: 6px;
      }

span.small {
      font-size: 10pt;
      font-weight: normal;
      }


div.subtopic {
      font-size: 12pt;
      font-style: italic;
      font-weight: bold;
      margin-top: 2em;
      margin-left: 1.5em;
      margin-right: 1.5em;
      border: solid thin;
      padding-left: 6px;
      }

div.listing {
      border: solid thin;
      margin: 0.5em;
      margin-right: 1.5em;
      margin-left: 1.5em;
      margin-bottom: 0.5em;
      /*
      background: #ddd
      */
      }

span.ltitle {
      text-align: center;
      font-family: helvetica, sans-serif;
      font-style: normal;
      font-weight: bold;
      font-size: 100%;
      margin-top: 0.25em;
      /*
      color: #088;
      margin: 1.5em 25% 0 25%;
      */
      }

div.example {
      border: solid thin;
      margin-top: 0.5em;
      margin-right: 1.5em;
      margin-left: 1.5em;
      margin-bottom: 0.5em;
      }

div.warning {
      border: solid;
      border-color: red;
      margin: 0.5em;
      margin-right: 1.5em;
      margin-left: 1.5em;
      margin-bottom: 0.5em;
      }

div.figure {
      text-align: center;
      /*border: solid thin;
      width: 100%;*/
      margin: 2.5em 0
      }

div.quote {
      text-align: right;
      font-style: italic;
      }

p.caption, caption {
      text-align: center;
      font-style: italic;
      font-weight: bold;
      font-size: 100%;
      color: #088;
      margin: 1.5em 25% 0 25%;
      }

p.indent {
      margin-left: 3em;
      }


ul li {
      list-style: disc;
      }

div.navigation {
      align: center;
      }

table.navigation {
      table-layout: fixed;
      border-style: none;
      padding: 0.2em;
      }

td.navigation {
      background: #ddd;
      text-align: center;
      font-weight: bold;
      font-family: helvetica, sans-serif;
      vertical-align: top;
}

table.std {
      border-style: none;
      padding: 0.2em;
      }

td.std {
      background: #ddd;
      vertical-align: top;
      }

td.stdc {
      text-align: center;
      background: #ddd;
      vertical-align: top;
}

th.std {
      background: #8080ff;
      vertical-align: top;
      }

th.stdl {
      text-align: left;
      background: #8080ff;
      vertical-align: top;
      }