seasar_p.css

.main pre {
	padding: 5pt 5pt 5pt 5pt;
	border: 1px solid silver;
	font-size: 9pt;
}