@import url(../../default.css);

#toc li
{
	padding: 0.25em;
}

pre
{
    width: 200mm;
	font-size: 0.8em;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
}