body { font-family: Helvetica, Verdana, Tahoma, Arial, sans-serif,
Times; 
       background: #ddc;
       margin: 10px ;
    }
#banner {
      padding: 0px;
      width: 100%;
      text-align: right;
      border-bottom:1px solid #000;
    }
#left {
      width: 20%;
      float: left;
    }
#content {
      background: #fff;
      padding: 0px 20px 10px 20px; 
      border:1px solid #000;
    }
#content #floater {
      float: left;
      padding: 0px 20px 10px 0px; 
    }
#content #menu {
      float: right;
      border: 1px solid #899; 
      margin: 20px 0px 0px 0px;
      padding: 5px 5px 0px 5px;
      color: #899;
      background: #fff;
    } 
#content #menu ul {
     list-style-type: none;
     list-style-position: outside;
    }
#content h1, h2, h3, h4 {
      color: #899;
   }
#content th { 
    text-align: left;
    } 
#content #right
    {
      padding-top: 5px;
      float:right;
    }
#footer {
      font-size: x-small;
      color: #aaa;
      float: right;
      padding-left: 20px;
      padding-right: 20px;
      padding-top: 10px;
    }
#navigation { 
      font-size: 120%;
      background:#dee;
      border-left:10px solid #000;
      border-right:1px solid #000;
      padding: 5px 5px 5px 10px;
    }
a {
      text-decoration:none;
      font-weight:bold; 
      color:#c00;
    }
dt {
      font-weight: bold;
    }
#minutes {
      font-family: sans-serif;       
    }
.boxed {
      background: #eee;
      padding-left: 40px;
      padding-top: 20px;
      padding-bottom: 20px;
      border: 1px solid #aaa;
    }
.framed {
      padding-left: 10px;
      background: #eee;
      border: 1px solid #aaa;
    }
.stripe {
      background: #eee;
    }
.done {
      color: #0a0; 
      font-weight: bold; 
    }
.now {
      color: #00c;
      border: 1px solid #000;
      background: #ddd;
      font-weight: bold; 
    }
.hardright {
     text-align: right;
    }
p .initcap {
      font-size: large;
/*       font-weight: bold; */
    }
.bannerheading {	
      font-weight: bold;
      font-size: 400%;
}
.bannersubheading {
      font-weight: bold;
      font-size: 150%;
      padding-left:30px;
      font-style:italic;
      color: #899;
}
.cert {
	 border:0;
	 width:88px;
	 vertical-align:middle
}
.code {
      background: #dde;
      margin-left: 20px; 
      padding-left: 10px;
      width: auto;
      border: 1px solid #aaa;
    }
.abstract {
      background: #edd;
      margin-left: 20px; 
      padding-left: 10px;
      width: auto;
      border: 1px solid #aaa;
    }

.section {
      padding-top: 5px;	
      padding-bottom: 5px;	
}

.section .heading {
      color: #899;
      font-size: 200%;
      font-weight: bold;
      padding-top: 20px;	
}

.subsection .heading {
      color: #899;
      font-size: 150%;
      font-weight: bold;
}

.subsubsection .heading {
      color: #899;
      font-size: 120%;
      font-weight: bold;
}

.footnote {
      font-size: 75%;
}

.footnotemark {
      font-size: 75%;
      vertical-align: super;
}
.pub {
      background: #edd;
      margin-left: 20px; 
      margin-bottom: 5px;
      padding-left: 10px;
      width: auto;
      border: 1px solid #aaa;
    }
li {
      margin-top: 10px;
      margin-bottom: 10px;
}