@import "../common/style2.css";

pre {
	margin: 6ex 0 6ex 0;
    font-size: 120%;
    line-height: 150%;
}