html body { font: medium; width: 95%; margin-left: 20px; }
code { font: medium Courier New, monospace; color: #0000BB; }
div, .method {
	letter-spacing: 0.03em;
	padding: 12px 12px 12px 12px;
//	border-style: dashed;
//	border-width: thin;
//	background-color: #DFDFDF;
}
.method { font-weight: bold; font-style: italic; color: #DD0000; }