/* duplicating site.css for consistent look */
body {
          font-family : Arial, Helvetica, sans-serif;
          letter-spacing : normal;
          font-style : normal;
          background-color : inherit;
}

div#banner {
          height: 95px;
          vertical-align: middle; 
}
div#banner img {
          float: left;
          margin-right : 15px;
}

div#banner h1 {
          font-size : 36px;
          font-weight : bold;
          color : #990000;
          margin-bottom : 5px;

}
div#banner h2 {
          font-size : 16px;
          font-weight : bold;
          padding-left : 130px;
          margin-top : 5px;
}

div.navbar { 
          font-size : 11px; 
          background-color : #CCCCCC;
          COLOR: #990000; 
          font-weight: bold; 
          vertical-align: middle; 
          height: 16px; 
          padding-top: 3px; 
          padding-right: 1px; 
          padding-bottom: 3px; 
          padding-left: 5px; 
          clear:left;
}
div.navbar a {
          font-size : 11px;
          color : #0000cc;
          text-decoration : underline;
          padding-left : 3px;
}

.copyright {
          font-size : 9px;
          color : #000066;
}
.navbar{
background-color: #cccccc
}

/* for the script page(s) */

div#script ul{
          padding-top : 1em;
          padding-left : 3em;
}
div#script li {
          font-size : 16px;
          font-weight : bold;
          color : #990000;
}
div#script li li {
          font-weight : normal;
          color : black;
}
div#script .heading {
          font-weight: bold;
}