/*
 * Style sheet for homepage
 * $Id: sd.css,v 1.4 6. November 2002 dustdar 
 */

body {
      background: white;
      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: left;
      font-weight: bold;
      /*    font-style: italic; */
      }

.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:
      #FFFFFF
      }

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

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


h1 {
      font-weight: bold;
      font-style: normal;
      }

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