body {
   position: relative;
   color: #000000;
   background-color: #f2ecfa; 
   margin: 0em auto;
   width: 800px;
   font-family: Helvetica, Arial, sans-serif;
   font-size: 12; 
   background-image: url("ascii-green-small.png");
   padding: 0em;
   text-align: center;
}

hr {
   background-color: #000000; 
   border-style: none;
   border-width: 0px;
   padding: 0em;
   margin-top: 0px; 
   height: 2px;   
   }

p,ul {
   font-size: 12pt;
   font-weight: normal;
   line-height: 1.25em;   
}

/* Top Header */
div.header {
   color: #ffffff;
   border-style: none;
   border-width: 0px;

   padding-left: 0.5em;
   padding-top: 0.5em;
   padding-bottom: 0em;

   margin: 0em auto;
   width: 800px;
   text-align: left;
   }

div.header hr {
   background-color: #ffffff;
   border-style: none;
   padding: 0.1em;
}

div.header h1,h2,h3,h4,h5,h6 {
   margin: 0.2em;
}

span.option { /* IE hack to make current option drawn on top */
   position: relative;
   z-index: 0;
}

span.option a {
   font-size: 14pt;
   color: #ffffff;
   border-color: #000000;
   text-decoration: none;
   border-width: 1px;
   border-top-style: solid;
   border-left-style: solid;
   border-right-style: solid;
   border-bottom-style: none;
   padding-left: 1em;
   padding-right: 1em;
   padding-top: 0.25em;
   padding-bottom: 5px;
   background-color: #4d9b71; 
   line-height: 1.25em;
   }

span.current { /* IE hack to make current option drawn on top */
   position: relative;
   z-index: 1;
}

span.current a {
   font-size: 14pt;
   color: #000000;
   text-decoration: none; 
   border-width: 1px;
   border-top-style: solid;
   border-left-style: solid;
   border-right-style: solid;
   border-top-color: #000000;
   border-right-color: #000000;
   border-left-color: #000000;
   border-bottom-style: solid;
   border-bottom-color: #ffffff;
   border-bottom-width: 2px;
   padding-left: 1em;
   padding-right: 1em;
   padding-top: 0.25em;
   padding-bottom: 5px;
   background-color: #ffffff;
   }

span.option a:hover {
   /*font-weight: bold; */
   background-color: #68d098;
   }

/* Main Section */
div.content {
   zoom: 1;   /* IE Hack */
   background-color: #fafafa;
   padding-right: 155px;
   padding-left: 0px;
   padding-top: 1em; /* IE Hack - Overriden later */
   padding-bottom: 0px;
   border-style: none;
   border-width: 0px;
   margin: 1em;
   }

body > div.content {
   padding-top: 0px; /* IE Hack - Override to wanted value */
   }

div.contentNoMenu {
   position: relative;

   padding-right: 0px;
   padding-left: 0px;
   padding-top: 0px;
   padding-bottom: 0px;

   border-style: solid;
   border-width: 1px;
   border-color: #000000;

   padding: 1em;
   background-color: #ffffff;
   font-family: Times, sans-serif;

   margin: 5px auto;
   width: 800px;
   text-align: left;
   }

/* Project Summary Boxes */
div.bodyHeading {
   width: 100%;
   height: 20px; 
   }

div.title {
   float: left; 
   font-size:12pt;
   font-weight: bold; 
   }

div.horizontalContainer {
   background-color:#ffffff; 
   height:340px; 
   padding-top:1em;
   font-family: Helvetica, Arial, sans-serif;
   }

div.summaryBox {
   background-color:#ffffff; 
   float:left; 
   width: 148px; 
   height: 300px; 
   padding-right:3em;
   }

div.summaryBox img {
   border-style: solid; 
   border-color: #000000; 
   border-width: 1px;
   align: top;
   }

div.summaryBox p.summaryTitle {
   font-size: 10pt; 
   color: #000000; 
   font-weight: bold; 
   padding: 0; 
   margin-top: 1em; 
   margin-bottom: 0em;
   }

div.summaryBox p.summaryDetails {
   font-size: 8pt; 
   color: #777777; 
   margin-top:0em; 
   padding-top:0em;
   width: 128px;
   }

div.summaryBox p.summaryDesc {
   font-size: 8pt; 
   color: #000000; 
   font-weight: normal; 
   padding: 0; 
   margin-top: 1em; 
   margin-bottom: 0em; 
   width: 128px;
   }

/* Page contents on right */
div.contents {
   position: absolute;  /* Incorrect: This hack for IE is overriden later */
   height: auto;
   width: 150px;
   right: 1px;
   color: #ffffff;
   padding: 0.2em;
   margin-top: 1em;
   border-style: solid;
   border-width: 1px;
   border-color: #000000;
   background-color: #d1dcdd;
   background-image: url("header.png");
   background-repeat: repeat-x;
   background-position: top;
   }

body>div.contents {
   position: fixed;
   }

div.contents h4 {
   border: 0px;
   padding: 0px;
   margin: 0.2em;
   }

ul.contents {
   list-style-type: none;
   margin-top: 0em;
   margin-left: 0em;
   margin-right: 0em;
   margin-bottom: 1em;
   padding-bottom: 0.5em;
   padding-left: 0.3em;
   padding-right: 0.0em;
   padding-top: 0.0em;
   height: 100%;
   font-size: 12pt;
   width: 140px;
   }

ul.contents li {
   background-color: #ffffff;
   border-style: solid;
   border-color: #000000;
   border-width: 1px;
   margin: 0.5em 0;
   padding: 0.3em;
   }

ul.contents a {
   text-decoration: none;
   color: #000000;
   }

ul.contents a:hover { 
   font-weight: bold;
   }