<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">&lt;html&gt;&lt;body&gt;&lt;p&gt;/***  ***/

#datestamp {margin-top: 2ex;}

#spotlight2 {
	margin-right: 1ex;
	margin-bottom: 2ex;
	padding: 1ex;
	text-align: center;
	font-weight: bold;
	background-color: #FFFFE5;
	border: solid 1px #A3A3A3;}

#onthispage {
	margin-bottom: 2ex;
	padding: 1ex;
	background-color: #FFFFE5;
	border: solid 1px #A3A3A3;}

.aaa {color: #cccccc;}

.doublespace {padding-bottom: 1ex;}

.mono {font-family: courier}

.shade {background-color: #FFFFE5;}

.sp {font-family: courier; background-color: #c0c0c0; color: #c0c0c0;}

.tiny {font-size: 67%;}

.level2 {margin-left: 10ex;}
.level3 {margin-left: 20ex;}
.level4 {margin-left: 30ex;}
.level5 {margin-left: 40ex;}



ul#contentlist
	{
	padding: 0;
	margin: 0 0 0 40px;
	font-size: 95%;
	}

ul#contentlist li
	{
	padding: 0 0 10px 0;
	margin: 0;
	}
	
ul#contentlist li.last
	{
	padding-bottom: 0;
	}&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</pre></body></html>