a { 
  text-decoration: none
}
a:hover {
  color: red
}
tt, pre, code { 
  font-family: courier;
  font-weight: bold;
  font-size: 95%
}
body, table { 
  font-family: Arial, helvetica, sans-serif;
  font-size: 95%;
  background-color: #E8CFB4;
}
address {
  font-family: Arial, helvetica, sans-serif;
  font-size: 80%
}
h1, h2, h3, h4 {
  font-family: arial, helvetica, sans-serif;
  font-weight: bold
}
h1 {
  color: navy;
}
h2 {
  color: teal;
}
h3 {
  color: red;
}
h4 {
  color: maroon;
}


/* These are used specifically for the navigation bar */
#navbar {
	TEXT-ALIGN: center;
	Z-INDEX: 2;
	BACKGROUND-COLOR: #E8CFB4;
	BORDER: solid 2px #C4A585;
	MARGIN-BOTTOM: .25cm;
	Z-INDEX: 0;
}
.popupmenu {
	BORDER: solid 2px #C4A585;
	FONT-WEIGHT: bold; 
	FONT-SIZE: 8pt; 
	Z-INDEX: 5; 
	PADDING-BOTTOM: 5px; 
	WIDTH: 190px; 
	LINE-HEIGHT: 2pt; 
	PADDING-TOP: 5px; 
	FONT-FAMILY: verdana, arial; 
	BACKGROUND-COLOR: #E8CFB4;
	POSITION: absolute;
	TOP: 18px;
	LEFT:0px;
	TEXT-ALIGN: left;
}

HR.menuline {
	COLOR: #C4A585;
	HEIGHT: 1px
}

.menu {
	FONT-WEIGHT: bold;
	CURSOR: hand; 
	COLOR: red;
	TEXT-DECORATION: none;
	POSITION: relative;
	Z-INDEX: 0;
}

.PopItem {
	PADDING-RIGHT: 1px; 
	PADDING-LEFT: 5px; 
	PADDING-BOTTOM: 1px; 
	COLOR: red; 
	PADDING-TOP: 1px; 
	TEXT-DECORATION: none
	Z-INDEX: 5;
}





/* These are general styles used throughout the site */
.NOTE {
  color: navy;
  font-weight: bold;
  font-family: Arial, helvetica, sans-serif
}
.WARNING { 
  color: red;
  font-weight: bold;
  font-family: Arial, helvetica, sans-serif 
}
.REASON {
  color: red;
  font-weight: bold;
  font-style: italic
}
.CENTER { 
  text-align: center
}
.RIGHT {
  text-align: right
}

/* These styles apply to the quick-references */
.META-VAR {
  color: red
}
.EXAMPLE {
  color: blue
}

/* These styles are for the titles at the top of each page */
.TITLE {
  color: #DD8500;
  font-size: 45px;
  font-family: Arial, helvetica, sans-serif
}
.TITLE-CS212 {
  color: #CC3300;
  font-weight: bold;
  font-style: italic
}
.TITLE-SUB {
  color: #996633;
  font-weight: bold;
  font-size: 25px;
  font-family: Arial, helvetica, sans-serif
}

/* These styles apply to specific elements of the Front Page */
#FRONT-CS212 {
  color: #CC3300;
  background-color: transparent;
  font-family: 'Comic Sans MS', Jester, Arial, helvetica, sans-serif; 
  font-weight: bold;
  font-size: 55px;
  line-height: 55px
}
#FRONT-COURSE {
  color: #DD8500;
  background-color: transparent;
  font-size: 30px;
  line-height: 30px;
  font-weight: bold; 
  font-family: 'Comic Sans MS', Jester, Arial, helvetica, sans-serif
}
#FRONT-SEMESTER {
  color: #996633;
  background-color: transparent;
  font-weight: bold;
  font-size: 25px;
  line-height: 25px; 
  font-family: 'Comic Sans MS', Jester, Arial, helvetica, sans-serif
}
.FRONT-DEPARTMENT {
  position: relative;
  background-color: transparent;
  top: 20px;
  font-weight: bold;
  font-size: 20px; 
  line-height: 20px;
  font-family: Arial, helvetica, sans-serif
}
#FRONT-ANNOUNCEMENTS {
  color: navy;
  background-color: transparent;
  font-weight: bold;
  font-size: 150%;
  font-family: Arial, helvetica, sans-serif
}

/* Styles for the header */
.HEADER {
  color: red;
}