.100p { line-height: 100% }
.110p { line-height: 110% }
.130p { line-height: 130% }
.150p { line-height: 150% }
.180p { line-height: 180% }
.200p { line-height: 200% }
.ind1 { text-indent: -15pt; margin-left: 15pt }
.ind2 { text-indent: -10pt; margin-right: 15pt; margin-left: 20pt }
.ind3 { text-indent: -30pt; margin-left: 30pt }
.ind4 { text-indent: -10pt; margin-left: 20pt }
.ind5 { line-height: 130%; text-indent: -5pt; margin-right: 0pt; margin-left: 5pt }
.ind6 { line-height: 130%; text-indent: -10pt; margin-right: 5pt; margin-left: 15pt }
.ind7 { line-height: 130%; text-indent: -10pt; margin-right: 0pt; margin-left: 20pt }
.ind8 { line-height: 140%; text-indent: -11pt; margin-left: 15pt }
.indentline { text-indent: -1em; margin-left: 1em; padding: 1em 1em 1em 2em; border-style: dotted solid solid solid; border-width: thin; border-color: #00008b }
.indentline2 { text-indent: -1em; margin-left: 1em; padding: 1em 1em 1em 2em; border-style: solid solid dotted solid; border-width: thin; border-color: #00008b }
.indentline3 { text-indent: -1em; margin-left: 1em; padding: 1em 1em 1em 2em; border-style: dotted solid none solid; border-width: thin; border-color: #00008b }
.indentline4 { text-indent: -1em; margin-left: 1em; padding: 1em 1em 1em 2em; border-style: none solid dotted solid; border-width: thin; border-color: #00008b }
.margin1 { margin-right: 15pt; margin-left: 15pt }
.margin2 { margin-left: 15pt }
.margin3 { margin-left: 10pt }
.margin4 { line-height: 130%; margin-left: 15pt }
.margin5 { line-height: 130%; margin-left: 10pt }
.sold { color: #a52a2a; background-color: #fffff0; padding: 1px 3px; border: solid 2px #a52a2a }
.table { line-height: 130% }