/****** GENERAL *******/

BODY {
    margin: 0px;
    padding: 0px;
    border: 0px;
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
    font-size: 100%;
    width: 100%;
    line-height: 130%;
    }

/* We say this instead of just 'A', because it restricts us to links rather than to <A NAME ... > */
A:link, A:visited, A:active {
    text-decoration: none;
    border-bottom: 1px dotted #555555;  /* AAAAAA */
    /* IE can't do dotted!  And it doesn't handle explicit text underlining right.  So we just
	use the standard stuff.  */
    _text-decoration: underline;
    _border-bottom: none;
    }

A:hover
  {
    color: #000000;
    text-decoration: none;
    border-bottom: 1px dotted #555555;  /* AAAAAA */
    /* IE can't do dotted!  And it doesn't handle explicit text underlining right.  So we just
	use the standard stuff.  */
    _text-decoration: underline;
    _border-bottom: none;
  }

/* This prevents <a name=...> from creating hover-style underlying as might be defined above. */
a[name]:hover
  {
  text-decoration: inherit; 
  color: inherit; 
  background: inherit;
  border-bottom: inherit;
  _text-decoration: inherit;
  _border-bottom: inherit;
  }


H1 {
   margin-top: 20px;
   font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
   font-size: 150%;
   line-height: 120%;
   }

H2 {
    margin-top: 15px;
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
   font-size: 125%;
   line-height: 120%;
   }

H3 {
   font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
   font-weight: bold;
   font-style: italic;
   font-size: 100%;
   margin-top: 15px;
   line-height: 120%;
   }

H4 {
   font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
   font-weight: bold;
   font-size: 100%;
   line-height: 130%;
   }
   
DL { margin-bottom: 20px;} 

DT {
   font-weight: bold;
   margin-bottom: 5px;
   }

DD {
   margin-bottom: 10px;
   margin-left: 1.25em;
   }

LI {
   margin-bottom: 10px;
   }

TABLE {
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
    border: 1px solid #000000;
    border-top: 2px solid #000000;
    border-left: 2px solid #000000;
    border-right: 1px solid #000000;
    border-bottom: 1px solid #000000;
    font-size: inherit;
    empty-cells: show;
    }

TH {
   text-align: left;
   border-bottom: 1px solid #000000;
   border-right: 1px solid #000000;
   padding-right: 20px;
   padding-left: 20px;
   padding-bottom: 5px;
   margin: 0;
   background-color: #E5E5E5;
   padding-top: 5px;
   }

TABLE.empty TABLE.stylized TD {
/* This hack enables us to specify that TD should use the plain TD style on the 
   /courses/index.html file even though it's inside a table which is in another
   table, and the outer table is "table.empty", which stupidly triggers the 
   TABLE.empty TD class, grrr.  "TABLE.stylized" is just a dummy class defined
   on that page. */

   padding-right: 20px;
   padding-left: 20px;
   padding-top: 5px;
   padding-bottom: 5px;
   background-color: #FFFFFF;
   border-bottom: 1px solid #000000;
   border-right: 1px solid #000000;
   }

TD {
   padding-right: 20px;
   padding-left: 20px;
   padding-top: 5px;
   padding-bottom: 5px;
   background-color: #FFFFFF;
   border-bottom: 1px solid #000000;
   border-right: 1px solid #000000;
}
       
HR {
margin-top: 20px;
margin-bottom: 20px;
border: 0;
border-top: 1px solid #000000;
}





/**** CLEAN, EMPTY TABLES ****/
TABLE.empty {
border: 0;
margin: 0;
padding: 0;
background-color: inherit;
empty-cells: show;
}

TABLE.empty TD {
padding: 0;
border: 0;
background-color: inherit;
vertical-align: top;
}

TABLE.empty TD.course {
padding: 0;
border: 0;
background-color: inherit;
width: 7em;
text-align: right;
padding-right: 1em;
vertical-align: top;
}

TD.empty {
padding: 0;
border: 0;
background-color: inherit;
}

TH.empty {
background-color: inherit;
padding: 0;
border: 0;
font-weight: bold;
}




/**** TABLES WITH SOME SPACING FOR ISE CLASSES ****/

TABLE.course {
border: 0;
margin: 0;
padding: 0;
background-color: inherit;
empty-cells: show;
}

TABLE.course TD {
padding: 0;
border: 0;
background-color: inherit;
padding-bottom: 1em;
margin: 0;
}


/******* SEPARATORS *****/

DIV.text {
	/* This forces a space immediately after the DIV and is useful to create
           an easy spacer on the front page. */
        margin: 0;
        padding: 0;
        border: 0;
        margin-bottom: 15px;
	border-bottom: 1px solid #880022;
}

SPAN.rubber {
	/* Creates a small space after the SPAN.  The purpose of this
	is to separate the SPAN from its following text in such a way that
	if the following text gets bumped to the next line, it would start
	right at the next line and not indent.  This can't be accomplished
	with &nbsp;'s.  The disadvantage is that the extra padding is considered
	part of the SPAN and so it word-wraps the SPAN early.  But with 1em like
	below, this is effectively impossible to notice if you've got 
	ragged-right text. */
	padding-right: 1em;
}

SPAN.deemphasize {
	/* Creates a large space, then the text in non-bold form.  This is used 
	to tack on additional information */
	padding-left: 3em;
	font-weight: normal;
}


/****** TITLES *******/

DIV.title {
font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
font-style: italic;
font-weight: bold;
font-size: 180%;
line-height: 110%;
padding-bottom: 10px;
margin-bottom: 20px;
border-bottom: solid 3px black;  
}

TD.title {
border: 0;
margin: 0;
padding: 0;
width: auto;
height: auto;
font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
font-weight: bold;
font-size: 180%;
vertical-align: top;
}


/****** TABLES OF CONTENTS *******/

TABLE.toc {
    border: 0;
    margin: 0;
    padding: 0;
    width: 17em;
    margin-left: 20px;
    margin-bottom: 5px;
    margin-top: 3px;
border: 1px solid #880022;
border-collapse: collapse;
background: #F4F4F4;
empty-cells: show;
    }

TD.toc {
    background: #EEEEF0;
    margin: 0px;
    border: 0px;
    padding: 20px;
    padding-top: 5px;
    padding-left: 20px;
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
    vertical-align: top;
    line-height: 120%;
    }

H1.toc
	{
        margin: 0px;
	padding: 0px;
	border: 0px;
	font-size: 100%;
	font-style: italic;
	font-weight: bold;
	text-align: left;
        font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
	color: black;
        margin-top: 15px;
	}
	
A.toc:link, A.toc:visited, A.toc:active
    {
    color: #292929;
    border-bottom: 1px solid #E4E4E4;
    text-decoration: none;
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
    }

A.toc:hover
  {
  color: #000000;
  border-bottom: 1px solid #AAAAAA;
  }

DIV.toc
    {
    margin: 0px;
    padding: 0px;
    border: 0px;
    }

DIV.toc p
{
padding: 0px;
margin: 0px;
border: 0px;
padding-top: 5px;
text-indent: -15px;
padding-left: 15px;
}
    

/********** NEWS ***********/

SPAN.morenews {
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
    font-style: italic;
    font-size: 66.6666%;
    }

H2.newstitle {
    margin-top: 0px;
    margin-bottom:5px;
    font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
    font-size: 150%;
    font-weight: bold;
    }


/******** SPLASH IMAGES ******/

IMG.splash {
	float: left;
	margin-right: 25px;  /* Safari's bullets don't work right, ergh. */
        margin-top: 10px;
        margin-bottom: 20px;
        width: 250px;
}

IMG.rightsplash {
	float: right;
	margin-left: 20px;
	margin-top: 5px;
	margin-bottom: 20px;
	width: 250px;
}


/********** BANNER **********/


DIV.top {
    width: 100%;
    padding: 0;
    padding-top: 5px;  /* Here because we can't put it in TABLE.main */
    border: 0;
    margin: 0;
    background-color: #441122;
    border-bottom: 3px solid black;
    text-align: center;

/* Can't have these in combination with the width: 100% because it makes the total
   width > 100%, which causes a permanent scrollbar on the bottom.  No biggie, we just
   make the image bigger.*/
/*
    padding-left: 1em;
    padding-right: 1em;
*/
}

TD.top {
    width: 100%;
    padding: 0;
    padding-top: 40px;  /* Here because we can't put it in TABLE.main */
    border: 0;
    margin: 0;
    padding-left: 1em;
    padding-right: 1em;
    text-align: center;
}




/********** NAVIGATION BAR **********/

IFRAME.nav
{
border: none;
padding: 0;
margin: 0;
font-family: 'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
/* This used to be 52em but as we got longer it started being a problem */
height: 60em;
/* Internet explorer uses a broken font metrics system and so if you make the text smaller,
   it doesn't drop by a full em, and eventually this sizing gets wrong.  I used to settle
   for a bit bigger (18em) but I've decided that we shouldn't be kowtowing to IE so much
   that we make our site look like junk.  So 16em it is. */
width: 17em;
}
 
TD.nav {
    background: white;
	margin: 0;
	padding: 0;
	border: 0;
}

/************ PICTURE *************/

TABLE.picture {
    border: 0;
    margin: 0;
    padding: 0;
    padding-bottom: 5px;
    margin-left: 20px;
    empty-cells: show;
    }

TD.picture {
    border: 0;
    margin: 0;
    padding: 0;
    }

TD.caption {
    border: 0;
    margin: 0;
    padding: 0;
    padding-top: 5px;
    font-size: 80%; 
    line-height: 120%;
    padding-left: 10px;
    padding-right: 10px;
    }

IMG.picture {
    border: 0 none;
    }

A.picture {
    border: 0 none;
    }

/************ MAIN REGION ************/

TABLE.main {
    border: 0;
    padding: 0;
    margin: 0;
/* IE doesn't recognize these.  Man, that program is bad. Instead we're sticking them in the TDs */
/*
    padding-top: 40px;
    padding-bottom: 20px;
*/
/* the margin-left and margin-right are here to force centering.  Ordinarily we'd use
     something like setting the left and right margins to be 8%, but that doesn't work in IE.
     So what we do here is to set margin-left and -right to auto and in IE we just set the body center to true. */
/*    margin-left:auto;
    margin-right:auto;
*/
margin-left: 20px;
margin-right: 20px;
empty-cells: show;
}

TD.main {
    margin: 0;
    border: 0;
padding: 0;
    padding-top: 20px;
	background: #FFFFFF;
    font-family: inherit;
    font-size: inherit;
/*'Lucida Grande',Helvetica,Arial,Geneva,'Bitstream Vera Sans',Sans-Serif;
 */
	padding-left: 20px;
    padding-bottom: 20px;  /* here because we can't put it in TABLE.main */
	width: 100%;
}




/************* TECHNICAL REPORTS ************/

IFRAME.tr {
	border:none;
	padding:0;
	margin-left:20px;
	margin-right:0;
	margin-top:3px;
	margin-bottom:5px;
	height:12em;
	width:17em;
}

DIV.tr {
margin: 2px;
}




/****** FACULTY PAGE *******/

TABLE.faculty { 
border: 0;
margin: 0;
padding: 0;
background-color: inherit;
empty-cells: show;
}

IMG.faculty {
border: solid 1px #666666;
margin-right: 2em;
}

TD.faculty {
padding-bottom: 2em;
border: 0;
background-color: inherit;
vertical-align: top;
}

TD.faculty TABLE TD { 
padding-right: 2em;
}

TD.faculty  I {
padding-right: 2em;
}

interests {
padding-right: 2em;
}