pre {
	display: block;
    font-family: monospace;
	font-size: 9pt;
	background-color: #eee;
	border: 1px solid #707070;
	padding: 10px;
    margin: 1em 0px;
    white-space: pre;
}

.article ol {
    -webkit-padding-start: 40px;
    display: block;
    list-style-type: decimal;
    margin: 1em 0px 1em 0px;
}

.article li {
    display: list-item;
    list-style-type: decimal;
}

.article .text {
    width: 500px;
	margin: 30px 60px;
	font-family: "Lucida Grande";
	font-size: 10pt;
}

.article .text h2 {
    font-size: 15px;
    font-weight: bold;
    margin: 22px 0px 8px 0px;
}

.article .text h3 {
    font-size: 13px;
    font-weight: bold;
    margin: 13px 0px 4px 0px;
}

.article .text p {
    margin: 1em 0px;
}