/* nlp_web.css
 * This style sheet contains the styles for the Natural Language Processing Group's site at the University of Chicago.
 * April 2004 - Jonathon E. Cihlar
 */


div {
	margin : 0;
	overflow : hidden;
}

div.nav {
	border-top : 0px none;
	border-left:3px double black;
	border-right:3px double black;
	border-bottom:3px double black;
	width : 14%;
	float : left;
	background : #33FFCC;
	font-family: Georgia, "Times New Roman", Times, serif;
}

div.content {
	float : right;
	width : 85%;
	font-family: Georgia, "Times New Roman", Times, serif;
	overflow: visible;
}

div.news {
	float : right;
	width : 30%;
	background : #33FFCC;
	border : 1px solid black;
	margin-top : 3px;
	padding : 2px;
	font-family: Georgia, "Times New Roman", Times, serif;
}

h1 {
	font-family : Arial, Helvetica, sans-serif;
	font-size : x-large;
	font-weight : bold;
	color : white;
	background-color : #800000;
	text-align : left;
	font-variant : small-caps;
	padding-left : 0%
	border : 1px solid black;
	width: 80%;
}


h2 {
	font-family : Arial, Helvetica, sans-serif;
	font-size : large;
	font-weight : bold;
	text-decoration : underline;
	margin-left: 1%;
	width: 80%;
}


h3 {

	font-family : Arial, Helvetica, sans-serif;
	font-size : medium;
	font-weight : bold;
	text-decoration : underline;
	margin-left: 2%;
	width: 80%;
}

p {
	font-family : Arial, Helvetica, sans-serif;
	font-size : medium;
	color : black;
	text-align : left;
	margin-left : 3%;
	padding : 0;
	width: 80%;
}

p.nav1 {
	font-size : medium;
	margin-left : 4%;
	font-family: Georgia, "Times New Roman", Times, serif;
}

p.nav2 {
	font-size : small;
	margin-left : 12%;
	font-family: Georgia, "Times New Roman", Times, serif;
}

p.nav3 {
	font-size : x-small;
	margin-left : 22%;
	font-family: Georgia, "Times New Roman", Times, serif;
}

td {
	font-family : Arial, Helvetica, sans-serif;
	font-size : medium;
}

td.head {
	text-align : right;
	color : #800000;
	font-weight : bold;
	font-family: Georgia, "Times New Roman", Times, serif;
}

ul {
	font-family : Arial, Helvetica, sans-serif;
	font-size : medium;
	margin-left : 2%;
}

a {
	color : #800000;
	font-weight : bold;
}

a.selected {
	background-color : #fff8f8;
	color : #500000;
}

a:hover {
	background-color : white;
}.normal {  font-family: Georgia, "Times New Roman", Times, serif}