body { background-color: #ffffff; margin:0; }
      code { color:purple; font-family: monospace; font-size: 130%; font-weight: strong; }
      pre code { color:purple; font-family: monospace; font-size: 130%; font-weight: strong; }
      code pre { color:purple; font-family: monospace; font-size: 130%; font-weight: strong; }
      td tt { font-size: x-medium; font-family: monospace; }
      h1 { color: #000000; font-size: large; font-weight: bold; font-family: arial; }
      h2 { color: #000000; font-size: medium; font-weight: bold; font-family: arial; }
      h3 { color: #000000; font-size: medium; font-weight: bold; font-style: italic; font-family: arial; }
      h4 { color: #000000; font-size: medium; font-weight: normal; font-style: italic; font-family: arial; }
      h5 { color: #000000; font-size: large; font-weight: bold; font-family: arial; }
      b.logo { color: #990099; font-size: x-large; font-weight: bold; font-family: arial; }
      b.tagline { color: #666666; font-size: small; font-family: arial; }
      b.menu-heading { color: #666666; font-size: x-medium; font-family: arial; font-weight: bold; }
      b.menu-item { color: #666666; font-size: x-medium; font-family: arial; font-weight: normal; }
      #top_panel {
        margin: 10px;
      }
      #breadcrumbs, #breadcrumbs td {
        background-color: #D5D8E9;
        color: #000000;
        border-top: 1px solid #A6A2C5;
        border-bottom: 1px solid #A6A2C5;
      }
      #breadcrumbs a, #breadcrumbs a:visited {
        background-color: #D5D8E9;
        color: #000000;
/*        text-decoration: none; */
      }
      #breadcrumbs a:hover {
        background-color: #D5D8E9;
        color: #000000;
        text-decoration: underline;
      }
      #bottom_panel {
        background-color: #D5D8E9;
        color: #000000;
        border-top: 1px solid #A6A2C5;
        margin: 10px;
      }
      body td {
        font-family: verdana, sans-serif, helvetica;
        font-size: 80%;
        font-weight: normal;
      }
      #leftcol {
        background: #F4F2F7;
        color: #000000;
        border-right: 1px solid #A6A2C5;
        border-bottom: 1px solid #F4F2F7;
        border-top: 1px solid #F4F2F7;
        padding: 5px;
      }
      #leftcol a {
        color: #000000;
        text-decoration: none;
      }
      #leftcol a:visited {
        color: #000000;
        text-decoration: none;
      }
      #leftcol a:hover {
        color: #000000;
        text-decoration: underline;
      }

      #bottompanel a {
        color: #000000;
        text-decoration: underline;
      }
      #bottompanel a:visited {
        color: #000000;
        text-decoration: underline;
      }
      #bottompanel a:hover {
        color: #000000;
        text-decoration: underline;
      }
      body td strong {
        color: #000000;
        font-size: x-medium;
        padding: 5px 0 0;
      }
      body td small#sub {
        color: #000099;
        font-size: x-small;
      }
      body td small#subsub {
        color: #000099;
        padding-left: 7px;
        font-size: x-small;
      }
      body td small#subsubsub {
        color: #000099;
        padding-left: 15px;
        font-size: x-small;
      }
      div#menuitem {
        padding-top: 7px;
        display: block;
      }
      div#prog-submenuitem {
        padding-top: 3px;
        padding-left: 7px;
        display: none;
      }
      div#topic-submenuitem {
        padding-top: 3px;
        padding-left: 7px;
        display: none;
      }
      div#content {
        font-weight: normal;
        padding: 7px 25px 10px;
      }
      div#comment {
        color: #333333;
        font-style: italic;
        text-align:center;
      }
      div#announce {
        text-align: center;
        background-color: #D5D8E9;
        font-weight: normal;
        font-style: italic;
        padding: 2px 2px 2px;
      }