<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
background-color: #fff;
}
#leftnav ul li {
	margin-bottom: 10px;
}
#maincontent {
	font-size: 12px;
	width: 640px;
	min-height: 650px
}

#leftnav {
	width: 220px;
}

#maincontent #toc {
	border-spacing: 0px;
	border: 1px solid #999;
}

#maincontent #toc td {
	margin: 0px;
	padding: 5px;
	border: 1px solid #999;
}

#maincontent h4 {
	font-weight: bold;
	margin-bottom: 10px;
	padding-top: 0;
	margin-top: 0;
}

#container {
  width: 1140px;
  border: 0;
}

.clear {
	clear: both;
}

#page_view {
	clear: both;
}

.pagination, #previous_page, #next_page, #previous_page_b, #next_page_b {
	float:right;
}

.pagination {
	padding-bottom: 5px;
}
.pagination a {
	cursor: pointer;
}
#next_page, #next_page_b {
	margin-left: 10px;
}
.story h3 {
	margin-top: 0;
	padding-top: 0;
	font-size: 200%;
	font-weight: bold;
	letter-spacing: 0.10em;
}	
#ocr_text {
	font-size: 14px;
	font-family: Times, serif;
	padding: 8px 27px;
	min-height: 950px;
	line-height: 1;
}
.page_result {
	font-size: 13px;
	padding: 5px 0;
	margin: 5px 0;
	border-bottom: 1px solid #999;
}
.page_result label {
	display: block;
	float: left;
	width: 90px;
	font-weight: bold;
}
.page_result .context {
	margin-top: 5px;
	font-family: sans-serif;
}

#maincontent #results div.page {
    display: none;
}

#maincontent #no_results {
	margin: 10px 0;
	font-style: italic;
}

/* ADVANCED SEARCH RESULTS */
.advanced_results {
	margin-top: 10px;
	border-spacing: 0;
	width: 100%;
}
.advanced_results .author .label,
.advanced_results .author .value{
	background-color: #EEE;
	padding: 5px 10px 5px 3px;
}
.advanced_results .label {
	font-weight: bold;
	padding: 3px 10px 1px 3px;
	vertical-align: top;
	width: 100px;
	float: left;
}
.advanced_results .value {
	padding: 3px 10px 1px 3px;
	float: left;
	width: 500px;
}
.advanced_results .field {
	clear:left;
}
.advanced_results .title {
	padding-bottom: 10px;
}

.highlight {
font-weight:bold;
background-color: yellow;
display: inline-block:
padding: 1px 3px;
}
</pre></body></html>