body {		margin-left: 5%; margin-right: 5%; background: #ffffff; 		color: #000066; font-family: verdana, arial, sans-serif; font-size: 10pt;		font-style: normal;		}div.text{		}		div.text p {		background: #ffffff; 		color: #000066; font-family: verdana, arial, sans-serif; font-size: 12pt;		font-style: normal;		}ul, li, dl, dd, dt 	{color: #000066; font-family: verdana, arial, sans-serif; font-size: 10pt;		font-style: normal;		}		ul {		list-style: disc;		}				ul.libraries {			list-style: square;}		h1 {font-size: 16pt; color: #000066; font-family: verdana, arial, sans-serif;}h2 {font-size: 14pt; color: #000066; font-family: verdana, arial, sans-serif;}h3 {font-size: 12pt; color: #000066; font-family: verdana, arial, sans-serif;}h4 {font-size: 12pt; color: #000066; font-family: verdana, arial, sans-serif;}h5 {font-size: 10pt; color: #000066; font-family: verdana, arial, sans-serif;}h6 {font-size: 10pt; color: #000066; font-family: verdana, arial, sans-serif;}hr {	height: 1px; width: 100%; background: #6666cc;	}a:link {	color: #6666cc; text-decoration: none; 	}a:visited {	color: #6666cc; text-decoration: none; 	}a:active {	color: #6666cc; text-decoration: none; 	} a:hover { 	color: orange; text-decoration: none; background: white;	}/* MIT [large/small/smallest] philosophy [large/small] title [small] */em.mitlarge {color: #999999; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 30pt; font-style: normal;	}em.philosophylarge {	color:#6666cc; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 25pt;	font-style: normal;	} em.mitlarge a:link, em.mitsmall a:link, em.philosophysmall a:link, em.mitsmallest a:link { 	color: #999999; text-decoration: none; background: white;	}	em.mitsmallest {	color: #999999; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 12pt; font-style: normal; 	}em.mitlarge a:visited, em.mitsmall a:visited, em.philosophysmall a:visited, em.mitsmallest a:visited {	color: #999999; text-decoration: none; 	}em.mitlarge a:active, em.mitsmall a:active, em.philosophysmall a:active em.mitsmallest a:active{	color: #999999; text-decoration: none; 	} em.mitlarge a:hover, em.mitsmall a:hover, em.philosophysmall a:hover, em.mitsmallest a:hover { 	color: #666666; text-decoration: none; background: white;	}	em.mitsmall {color: #6666cc; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 20pt; font-style: normal; }   em.philosophysmall {	color:#999999; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 20pt;	font-style: normal; 	}em.titlesmall{color:#6666cc; font: 20pt Impact, Helvetica Narrow, sans-serif; font-style: normal;}		A IMG { 	color: white } /* The only way to hide the border in NS 4.x */		/* The homepage table */				td.left {		font-size:13pt;		text-align: right; padding-bottom: 8pt; color: #666666; font-family: arial, san-serif; 		white-space: nowrap; font-weight: 700		}			td.center {		font-size:13pt;		text-align: center; padding-bottom: 8pt; color: #666666; font-family: arial, san-serif;		white-space: nowrap; 		font-weight: 700		}					td.right {		font-size:11pt; text-align: left; 		padding-left: 10pt; padding-bottom: 8pt; color: #6666cc; font-family: verdana, san-serif; 		white-space: nowrap; font-weight: 400		}				div.address {	}	div.address p {	font-size:10pt; text-align: center;		color: #666666; font-family: verdana, san-serif; white-space: nowrap; background: #ffffff;		}		div.address  a:link {	color: #6666cc; text-decoration: none; 	}div.address a:visited {	color: #6666cc; text-decoration: none; 	}div.address a:active {	color: #6666cc; text-decoration: none; 	} 		div.address a:hover { 	color: orange; text-decoration: none; background: #ffffff;	}		address {font-size: 8pt; text-align: left; width: 100%;		white-space: nowrap; font-style: normal; color: #666666;		}				font.highlight {	color: #E47833  	} /* used on program page etc. *//* The subjects table */div.table { 		}td { 	color: #000066; font-family: verdana, arial, san-serif; font-size: 10pt;	font-style: normal; white-space: nowrap; 	}/* main faculty page */dl.faculty {margin-left: 10%} /*dt.faculty {background: #ffffff; 		color: #000066; font-family: verdana, arial, sans-serif; font-size: 10pt;		font-style: normal; }		dd.faculty {margin-left: 5%; background: #ffffff; 		color: #000066; font-family: verdana, arial, sans-serif; font-size: 10pt;		font-style: normal;} <<padding is buggy in ns 4.x>>*/		/* individual faculty pages */th.faculty {			color: #999999; font-family: verdana, arial, san-serif; font-size: 11pt;			font-style: normal;					text-align: center;			white-space: nowrap; padding-top: 10pt}		td.faculty {			color: #000066; font-family: verdana, arial, san-serif; font-size: 10pt;			font-style: normal;					text-align: center;			white-space: nowrap; padding-top: 2pt}td.faculty a:hover {color: orange; text-decoration: none; background: #ffffff;}/* undergraduate */div.lingphil {  border:.1pt ;  padding-top:2pt;padding-bottom: 2pt; background: #999999;  color: white; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 14pt; 	font-style: normal; padding-left: 3em; width: 30em;}div.major {  border:.1pt;  padding-top:2pt;padding-bottom: 2pt; background: #ccccff; color: white; font-family: Impact, Helvetica Narrow, sans-serif; font-size: 14pt; 	font-style: normal; padding-left: 3em; width: 30em;}	em.ling {color: #660000;  	font-style: normal;}em.phil {font-style: normal; color: #6666cc;}em.majors {font-style: normal; color: white;	}em.ling a:link {	color: #660000; text-decoration: none; 	}	em.majors a:link {	color: white; text-decoration: none; 	}		em.majors a:visited {	color: white; text-decoration: none; 	}		em.majors a:active {	color: orange; text-decoration: none; 	}	em.phil a:link {	color: #6666cc; text-decoration: none; 	}	em.ling a:visited {	color: #660000; text-decoration: none; 	}	em.phil a:visited {	color: #6666cc; text-decoration: none; 	}em.ling a:active, em.phil a:active {	color: orange; text-decoration: none; 	} em.ling a:hover, em.phil a:hover { 	color: orange; text-decoration: none; background: #999999; 		}	em.majors a:hover{ 	color: orange; text-decoration: none; background: #ccccff;	} 			/* misc. links page */	strong.links {				line-height: 1.4;				}	