body {
	color:#242952;
	background-color:white;
        background-image: url("/courses/cs173/2003/plt-lambda.jpg");
        background-attachment: fixed;
        background-position: center;
        background-repeat: no-repeat;
	margin:20px;
	padding:0px;
	font:12px verdana, arial, helvetica, sans-serif;
	}
code {
	color:blue;
	}
pre {
	color:blue;
	}
h1 {
	margin:0px 0px 15px 0px;
	padding:0px;
	font:20px  verdana, serif;
	font-weight:900;
	color:#696969;
	}
h2 {
	font:bold 12px/14px  verdana, arial, helvetica, sans-serif;
	margin:0px 0px 5px 0px;
	padding:0px;
	}
p {
	font:12px/20px verdana, arial, helvetica, sans-serif;
	margin:0px 0px 16px 0px;
	padding:0px;
	}
.Content>p {margin:0px;}
.Content>p+p {text-indent:30px;}

a {
	color:#525252;
	font-size:11px;
	font-family:verdana, arial, helvetica, sans-serif;
	font-weight:600;
	text-decoration:none;
	}
a:link {color:#46509E;}
a:visited {color:#525252;}
a:hover {color:#666666;}
  

/* All the content boxes belong to the content class. */
.content {
	position:relative;
	width:auto;
	min-width:120px;
	margin:10px 150px 20px 150px;
	border:1px dotted gray;
	background:transparent;
	padding:10px;
	z-index:3;
	}

#navAlpha {
	position:absolute;
	width:150px;
	top:60px;
	left:20px;
	border:none;
	background:transparent;
	padding:10px;
	z-index:2;

/* ugly hack that protects IE5/Win */
	voice-family: "\"}\"";
	voice-family:inherit;
	width:128px;
	}