/* assign the background image to the webpage, along with the repeat method, the background color and the basic font family */
body 
{ 
  background-image: url(images/backgrounds/background.jpg);
  background-repeat: repeat-y; 
  background-color: #ebebf4; 
/*  background-color: #c7c7e3;*/ 
  color: #000080; 
  font-family: verdana, helvetica, sans-serif; 
  font-size: 12px;
}

/* format links */
a
{
  color: #000080; 
  text-decoration: none; 
  font-weight: bold;
}

a:hover 
{ 
  background-color: #000080;
  color: #ebebf4; 
}

h1 
{
  font-weight: bold;
  font-size: 20px;
  padding-top: 6ex;
  padding-bottom: 6ex;
}

h2 
{
  font-weight: bold;
  font-size: 16px;
}

h3 
{
  font-weight: bold;
  font-size: 14px;
}

.mainmenu
{
  background-color: #c7c7e3;
  width: 180px;
  font-size: 14px;
  font-weight: bold;
  font-family: verdana, helvetica, sans-serif;
  padding-top: 40px;
  float: left;
  clear: left;
}

.mainmenu a
{
  padding-left: 1ex;
  padding-top: 1ex;
  padding-bottom: 1ex;
  display: block;
}

.logo
{
  padding-left: 8px;
  padding-top: 6px;
  float: left;
  clear: left;
}

#bodyText 
{
  font-size: 13px;
  line-height: 1.5em;
  margin-left: 210px;
}

#bodyText p
{
  margin-left: 1em;
}

#bodyText ul {
  font-size: 13px;
  line-height: 1.5em;
}