body {
    font-size: 17pt;
    margin-top: 20mm;
    margin-left: 20mm;
    width: 850px;
    font-family: Times;
}
.indented {
    margin-left: 5mm;
}
li {
    line-height: 7.5mm;
    margin-bottom: 1mm;
}
.book {
    font-style: italic;
}
.emph {
    font-style: italic;
    font-weight: bold;
}
.crossout {
    text-decoration: line-through;    
}
.underline {
    text-decoration: underline;    
}
.quoted {
    margin-left: .5in;
    margin-top: .2in;
    margin-bottom: .2in;
    width: 700px;
    color: darkblue;
}
.attrib {
    display: block;
    margin-left: 4.5in;
}
.top {
    margin-left: 1mm;
}
table {
    margin-left: 10mm;
}
td, th {
    font-size: 17pt;
    text-align: right;
}
img.displayed {
    display: block;
    margin-left: auto;
    margin-right: auto;
}
.next_link {
    position: absolute;
    left: 150px;
}
pre {
    font-size: 15pt;
}
.blue {
    color: #7777FF;
}
.pink {
    color: #FF7777;
}
.green {
    color: #009900;
}
.lightgreen {
    color: lightgreen;
}
pre {
    margin-left: 10mm;
}
.refctl {
    margin-left: 1in;
    font-size: 15pt;
    color: green;
}
.references {
    display: none;
}