BODY { 
height: 100%;
margin-left: 0px;
margin-right: 0px;
background-image: url(/~scott/mat310.spr05/images/HoffmanKunzeFiller.png); 
background-repeat: repeat-y; 
background-attachment: fixed; 
background-color: white;
color: black;
font-family: Times, serif;
}


li {
 margin-top: 1ex;
}

h1 { font-size: 150%; }
h2 { font-size: 125%; }
h3 { font-size: 110%; }

a                  {text-decoration: none;}
a:link, a:visited  {text-decoration: none;}
a:active           {color: red; background-color: yellow;}
a:hover            {color: red; background-color: #aaa;}

/* some font classes */

.TITLE {
      	font-family: verdana,arial,helvetica; 
        font-size: 1.5em;
        font-weight: bold;   
        color: black; 
}

.NORMAL {
	font-family: verdana,arial,helvetica; 
        font-size: 1em;
        font-weight: normal;   
        color: black;
 }

.BOLD {
	font-family: verdana,arial,helvetica; 
        font-size: 1em;
        font-weight: bold;   
        color: black;
 }
.SPECIAL {
       font-family: verdana,arial,helvetica,sans-serif;
       font-size: 1em;
       font-weight: normal;
       color: darkred;
}
.ERROR {
       font-family: verdana,arial,helvetica,sans-serif;
       font-size: 1.1em;
       font-weight: bold;
       color: red;
}
.INFO {
      font-family: verdana,arial,helvetica,sans-serif;
      font-size: .9em;
      font-weight: normal; 
      color: green;
}



/* Container for the page, includes fixed background image on left */
div.container {
  width: 100%;
  margin: 0px;
  background-image: url(/~scott/mat310.spr05/images/HoffmanKunzeLinalg.png); 
  background-repeat: no-repeat; 
  background-position: bottom left;
  background-color: transparent;
  background-attachment: fixed;
}


/* Style for header div  */
div.head {
}

/* Style for main content div  */
div.content {
  font-family: Times,serif;
  text-align: justify;
  margin-left:  0px;
  margin-right: 10px;
  padding-left: 50px;
}

/* Style for foot div  */
div.foot {
  text-align: right;
  color: gray;
  font-family: Helvetica,sans-serif;
  font-size: 75%;
  margin-left: 0px;
  margin-right: 10px;
  padding-left: 50px;
  padding-top: 3ex;
}