/***********************************************************

 * Source code information
 * =======================
 * Filename           $RCSfile: dig.css,v $
 * Revision           $Revision: 1.2 $
 * Release status     $State: Exp $
 * Last modified on   $Date: 2005/12/15 11:03:41 $
 *               by   $Author: seanb $

***********************************************************/

body { font-family: "Gill Sans", Helvetica, Verdana, Tahoma, Arial, sans-serif,
Times; 
      background-color: #eee;
      margin: 10px ;
    }
#banner {
      padding: 0px;
      width: 100%;
      text-align: right;
      border-bottom:1px solid #000;
    }
#banner img {
      float: right;
}
#left {
      width: 20%;
      float: left;
    }
#content {
      background-color: #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: #999;
      background-color: #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-color:#ddd;
      border-left:1px solid #000;
      border-right:1px solid #000;
      padding: 5px 5px 5px 10px;
    }
a {
      text-decoration:none; 
      font-weight:bold;  
      color:#900;
  }
a:hover {
      color:#009;
      background-color: #eee;
}
dt {
      font-weight: bold;
    }
.boxed {
      background-color: #eee;
      padding-left: 40px;
      padding-top: 20px;
      padding-bottom: 20px;
      border: 1px solid #aaa;
    }
.framed {
      padding-left: 10px;
      background-color: #eee;
      border: 1px solid #aaa;
    }
.stripe {
      background-color: #eee;
    }
.done {
      color: #0a0; 
      font-weight: bold; 
    }
.now {
      color: #00c;
      border: 1px solid #000;
      background-color: #ddd;
      font-weight: bold; 
    }
.hardright {
     text-align: right;
    }
.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-color: #dde;
      margin-left: 20px; 
      padding-left: 10px;
      width: auto;
      border: 1px solid #aaa;
    }
.abstract {
      background-color: #edd;
      margin-left: 20px; 
      padding-left: 10px;
      width: auto;
      border: 1px solid #aaa;
    }

li {
      margin-top: 10px;
      margin-bottom: 10px;
}
/*
 * ChangeLog
 * $Log: dig.css,v $
 * Revision 1.2  2005/12/15 11:03:41  seanb
 * Minor Changes
 *
 * Revision 1.1  2005/11/23 12:15:48  seanb
 * Initial Checkin
 *
 *
 */