#Submit {
	margin-top: 0.75em;
	white-space: nowrap;
}

#Submit .body {
	width: auto;
	padding: 0.37em;
}

#Submit input {
	font-size: 82%;
	width: 4.4em;
}

#Submit input.text {
	width: 24em;
	margin-right: 0.5em;
}

#Submit select {
	width: 10em;
	margin-right: 0.5em;
}

div.results {
	font-size: 82%;
	margin-top: 1.5em;
}

table.result {
	margin-top: 1em;
}

table.result td {
	vertical-align: top;
}

table.result td.number {
	width: 1.8em;
	font-size: 75%;
	padding-top: 0.25em;
}

table.result td.hundred {
	width: 2.4em;
}

table.result td.thousand {
	width: 3em;
}

table.result p {
	font-size: 82%;
	margin-bottom: 0;
}

table.result p.page {
	font-size: 94%;
	margin-bottom: 0.15em;
}

table.result p span {
	font-weight: bolder;
}

#Pages {
	margin-top: 2em;
}

#Pages td {
	padding: 0.25em 0.5em;
}

#Pages td.active {
	background: #E5E5E5;
}