body.small div#container, body.small div#content {
	width: auto;
}

div#header {
	display: none;
}

html {
	background-color: white;
	color: black;
}

div.plaintext p {
	margin: 5px 0;
}

div.plaintext h1 {
	font-size: 16px;
	font-weight: bold;
}

div.plaintext h3 {
	font-size: 12px;
	font-weight: bold;
	margin: 3px 0;
}

div.plaintext pre {
	width: auto;
	white-space: pre-wrap;
	margin-bottom: 10px;
	font-family: inherit;
	line-height: 15px;
}