/* $Revision: 1.14 $ */

@import "base.css";

pre {
	font-size: 120%;
}

span.underline {
	text-decoration: underline;
}