@import "../dis.css";

p{
	margin-top:1em;
	text-indent:0;
	}

p.comment{
	border-top:dashed 1px #888;
	margin-top:0;
	}

p.op{
	background-color:#ddd;
	}