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

body.small div#content {
	width: 800px;
}

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

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

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;
}

div.plaintext a {
	color: inherit;
	font-weight:bold;
}