.search-form {
	padding-bottom: 10px;
	text-align: center;
}

input#q {
	width: 100%;
}

input.big {
	width: 300px;
}

input.small {
	width: 150px;
}

a.button {
	padding: 2px 5px;
	border: 1px solid #cccccc;
	background-color: #eeeeee;
	text-align: left;
}

img.tip {
	cursor: help;
}

.search-form input, .search-form select {
	font-family: Arial, Helvetica, Sans-serif;
	font-size: 12px;
}

.search-results {
	padding-top: 20px;
	padding-bottom: 20px;
}

.search-form table {
	margin: 20px auto;
	border: 1px solid #cccccc;
	background-color: #eeeeee;
	width: 60%;
}

.search-form table tr th {
	font-size: 10pt;
	text-align: left;
	color: #1478B7;
}

.search-form table tr td {
	white-space: no-wrap;
	padding: 3px 10px;
	vertical-align: top;
}

.search-result {
	padding-bottom: 15px;
}

.search-result .nav {
	background: #e0e0e0;
	color: #444444;
	padding: 2px 5px 2px 15px;
	width: auto;
}

.search-result .text {
	padding: 5px 15px 5px 15px;
}

.text p, .text table, .text ol, .text ul {
	padding: 2px; margin: 0px;
}

.search-summary {
	border-top: 1px solid grey;
	text-align: right;
}

.search-summary2 {
	border-bottom: 1px solid grey;
	text-align: right;
}

.search-relevant-topics {
	border-top: 1px solid grey;
	text-align: center;
	padding: 0px 0px 15px 10px;
}

.relevant-topic {
	padding: 3px;
}

.search-failed {
	padding: 20px;
	text-align: center;
}

.search-pages {
	text-align: center;
	padding: 20px;
}

div.search-menu {
	float:right;
	font-size: 10pt;
	font-weight: normal;
	padding: 0px;
	margin: 0px;
	border: none;
}

.doc {
	padding: 40px 50px 50px 40px;
	color: black;
}

.doc td, .doc th {
	color: black;
}

.doc .hilite {
	background: #eeeeee;
	margin-left: -10px;
	padding: 1px 10px 1px 10px;
}

table td { padding: 3px; }
table { margin: 3px; }

ol li { list-style-type: lower-alpha; }
ol ol li { list-style-type: lower-roman; }

ol:A li { list-style-type: upper-alpha; }
ol:1 li { list-style-type: decimal; }

li { margin-bottom: 10px; }
ol, ul { margin-left: 36pt; padding-left: 0pt; }
.text ol, .text ul { margin-left: 36pt; padding-left: 0pt; }

span.highlight { font-weight: bold; background-color: #cccccc; color: #444444; }