body { font-family: Verdana, Arial, Helvetica, sans-serif;
          font-size: 80%;
          background-color: #FFFFFF;
       }
	   
td { font-family: Verdana, Arial, Helvetica, sans-serif;
      font-size: 80%;
      margin-top: 0em;
	  margin-bottom: 0em:
	  valign: top;
	   }
	   
ul { font-family: Verdana, Arial, Helvetica, sans-serif;
      margin-top: 0em;
	  margin-bottom: 0em:
	   }

	   
.seymour { font-family: Verdana, Arial, Helvetica, sans-serif;
      margin-top: 0em;
	  margin-bottom: -.2em:
	  margin-left: 8em;
	  }

p { margin-top: -.5em;
     margin-left: 0em; 
	 margin-bottom: 0em; 
	 font-family: Verdana, Arial, Helvetica, sans-serif;
	    }
		
.indent { margin-top: 0em;
               margin-left: 2em; 
	           margin-bottom: .5em; 
	           font-family: Verdana, Arial, Helvetica, sans-serif;
	    }
p.normal { margin-left: 0em;
               margin-right: 0em;
			   margin-top: 0em;
			   margin-bottom: 0em;
			    }
				
p.seymour { margin-left: 0em;
                  margin-right: 0em;
			      margin-top: -.1em;
			    }

p.changed {
    font-family: Verdana, Arial, Helvetica, sans-serif;
	padding-left: 1em;
    border-left: solid;
    border-right: none;
    border-top: none;
    border-bottom: none;
    border-left-width: thin;
    border-color: red;
  }
	   
:link { color: rgb(0,0,153) }
:visited { color: rgb(153,0,153) }
:active { color: rgb(125,0,125) }
:hover { color: rgb(255,0,0) }

#navigator { background-color: #7ea8cf;

border: 1px #666666 solid;

width: auto;

margin-top: 100px;

padding: 8px;

text-align: center;

               }

.housebutton {

font-weight: bold;

font-size: small;

text-align: center;

margin-bottom: 1px;

margin-top: 1px;

}

.housebutton a {

padding: 4px;

text-decoration: none;

font-size: small;

width: 98%;

display: block;

color: #224059;

background-color: #b5c9e2;

border-top: 2px #cce3ff solid;

border-left: 2px #cce3ff solid;

border-bottom: 2px #31557f solid;

border-right: 2px #31557f solid;

}

.housebutton a:hover {

font-size: -01;

background-color: #99aabf;

border-top: 2px #31557f solid;

border-left: 2px #31557f solid;

border-bottom: 2px #cce3ff solid;

border-right: 2px #cce3ff solid;

}