/* Strevens Style Sheet */body {	color:#000000;	/*background-color: #6699CC;*/	background-image: none;	width: 500 pt;}a:link {	color:#000099;}a:visited {	color:#006666;}a:active {	color:#006633}a:hover {	color: #CC0066}a.subtle {	text-decoration:none;}a.subtle:link {	color:#000000;}a.subtle:visited {	color:#000000;}a.subtle:hover {	color: #CC0066}/* Headings */h1, h2, h3 {	font-family: sans-serif;	color: #663366;}h1 {	font-size: 150%; 	font-weight: normal;	font-size: xx-large;	margin-top: 5%;}h1.title {	font-size: 200%; 	font-weight: bold;	padding-bottom: 0pt;	border-bottom-width: 0pt;	margin-top: 0%;	margin-bottom: 0pt;}	h1.subtitle {	font-size: 150%; 	padding-bottom: 0pt;	border-bottom-width: 0pt;	margin-top: 0%;	margin-bottom: 0pt;}	h1.class {	font-size: 200%; 	padding-bottom: 0pt;	border-bottom-width: 0pt;	margin-top: 0%;	margin-bottom: 0pt;}	h1.paper {	font-size: 200%; 	padding-bottom: 0pt;	border-bottom-width: 0pt;	margin-top: 0%;	margin-bottom: 0pt;}h2 {	font-size: 130%;	margin-top: 5%;}h3 {   font-size: 100%;   margin-top: 5%;}.subhead {	font-size: 80%;}p.navitem {	padding-left: 12pt;	padding-top: 0pt;	padding-bottom: 0pt;	padding-right: 0pt;	margin-top: 6pt;	margin-bottom: 6pt;	margin-right: 0pt;}/* Frame headings */h1.frameheading {	margin-top: 0%;	margin-bottom: 2%;	font-size: 200%;	font-weight: bold;}body.frameheading {	background-color: #CCFFCC;}table.frameheading {	padding-right: 20;	text-align: left;	vertical-align: top;}/* Chaos headings */	h1.chaoshead {	font-size: 150%; 	color: #663366;	font-weight: bold;	padding-bottom: 0pt;	border-bottom-width: 0pt;	margin-top: 3%;	margin-bottom: 0pt;}h1.chaossubhead {	font-size: 80%; 	color: #663366;}h2.chaoschap {	font-size: 100%;	color: #000000;	/*font-weight: normal;*/	margin-top: 5%;	margin-bottom: 0%;}h3.chaostoc {   font-size: 100%;   margin-top: 16%;}a.headlink {	text-decoration:none;}a.headlink:link {color: #663366} a.headlink:visited {color: #663366} a.headlink:hover {color: #CC0066} a.headlink:active {color: #CC0066} /* Lists */ul {	list-style-type: square;}ul.present {	list-style-type: none;}ul.navigation {	font-size: 80%;}li.navigation {	font-size: 80%;	position: relative;	right: 18pt;}li {	margin-top: 0.5em;	margin-bottom: 0.5em;}/* Other */table.maindocframe {	width: 570;}table.docframe {	width: 500;}td.button {	width: 200;	height: 36;	background-color: #663366;	text-align: center;}a.button {	color: #FFCCCC;	text-decoration: none;	font-family: sans-serif;	font-weight: bold;	font-size: large;}a.button:hover {color: #FF99FF} td.day {	width: 60;	vertical-align: top;}span.absname {	color: #663366;	font-weight: bold;	margin-right: 0.5em;}