/* Master stylesheet for comps directory, starting 2004-05 */
/* complain to adalal@carleton.edu if something is broken or 
   horribly disfigured. */

/* All headings use the same fonts and have the same margins */
h1, h2, h3, h4, h5, h6 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	margin-left: 5%;
	margin-right: 5%;
}

h1 {
  color: #000000;
  background-color: #ffffff;
  font-size: x-large;
}

h2 {
  color: #000000;
  background-color: #ffffff;
  font-size: medium;
}

h3 {
  color: #663399;
}

/* this was used for advisor name.  bad style!  it's in here
   for posterity's sake. */
h4 {
  font-style: italic;
  font-weight: normal;
}

/* this was used for date/time info.  bad style!  it's in here
   for posterity's sake. */
h5 {
  font-weight: normal;
  font-size: 12px;
  /* there was a bit too much spacing between this and the h4
     element.  specifying the top margin like so fixes this. */
  margin-top: -1em; 
}

/* left-hand side menu items */
p.leftmenu {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: normal;
  font-size: small;
  text-align: left;
}

/* body text should be indented a bit */
p {
  margin-left: 5%;
  margin-right: 5%;

}

/* style for preformatted text; indented slightly more than par text */
pre {
  margin-left:10%;
  margin-right:10%;
}

/* style for bibliography entries.  nothing in here now, 
   but this may change someday. */
p.bib {
  /*margin-top:  5%;*/
}

/* it's better to handle advisor name and date/time within p or 
   div tags, not by using headings.  the following two classes 
   attempt to do so. */
.advisor {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-style: italic;
	font-size: small; 
	font-weight: normal;
	margin-top: -0.5em;
	margin-bottom: -0.5em;
}

.time {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-size: small;
}

/* list items.  indent even more from where the text is indented,
   and leave just a bit of space between entries. */
li {
  /*margin: 0px 0px 10px 0px;*/
  margin-left: 5%;
  margin-bottom: 2%;
}

/* indent blockquotes a bit more than the surrounding text. */
blockquote {
	margin-left: 10%;
	margin-right: 10%;
}

/*This is the banner.*/
#top {
	position: fixed;
	top: 0px;
	left: 0px;
	width: 100%;	
	height: 75px;
	background-image: url("http://www.cs.carleton.edu/cs_comps/banner3.jpg")
}
/* ID tag for the left-hand side menu bar. */
#left {
 	float: left;
 	width: 19%;
	margin-top: 75px;
 	background: #E4EBEF;
 }
 
/* ID tag for the right-hand side content. */
#right { 
	margin-top: 75px;
 	float: right;
 	width:  81%;
 	background: #ffffff;
 }