p { text-indent: 1em; }
p.left { text-indent: 0px; }

pre.bordered {
	margin-left: 1em;
	margin-right; 1em;
	border-style: solid;
	border-width: 1px;
	border-color: gray;
	padding: 3px;
}