body
{
  background-image: url(back1.gif);
  background-repeat: repeat;
}

#menu
{
  width: 80%;
  padding : 0px;    
}

.noselected
{
  color : blue;
  font-size: 11pt;
  text-decoration: none;
}

.selected
{
  background-color: #ff4444;
  color : white;
  font-size: 11pt;
  text-decoration: none;
}

div
{
  background-image: url(back3.jpg);  
  background-repeat: repeat-y;
  padding : 0px;
  margin: 0px;
  width: 80%;
  background-color: white;
  font-family: verdana; 
  border-style : solid;
  border-color : red;
  border-right-width : 2px;
  border-left-width :1px;
  border-top-width: 1px;
  border-bottom-width: 2px;
}

div div
{
  background-image: url(back3.jpg);  
  background-repeat: repeat-y;
  padding : 10px;
  width: 80%;
  background-color: white;
  font-family: verdana; 
  border-style : solid;
  border-color : black;
  border-right-width : 1px;
  border-left-width :1px;
  border-top-width: 1px;
  border-bottom-width: 1px;  
  font-size: 10pt;
  
}



h1
{
  margin-top:0px;
  background-color: red;
  color: white;
  font-size: 14pt;  
  padding: 3px;
}

h2
{
  margin: 20px;
  font-size: 11pt;
  text-decoration: underline;
}

p
{
  margin: 20px;
  font-size:10pt;
}