dt:target {
    border: 2px solid #ddffaa;
    border-right-style: none;
    border-bottom-style: none;
    border-left-style: none;
    background: #ffff99;
 }
 dt:target + dd {
    border: 2px solid #ddffaa;
    border-right-style: none;
    border-top-style: none;
    border-left-style: none;
    background-color: white;
 }
 section#chapter {
    width: 8in;
    padding: 0;
    margin: 0 0 1em 8em;
 }
 div#contentDiv ol#optionsol {
    margin-left: 8em;
 }
 nav#leftnav {
    position: sticky;
    top: 25px;
    left: 0px;
    text-align: left;
    margin: 0 0 0 -50%;
    padding: 5px 2px 5px 0;
    font-size: 9px;
    float: left;
    min-width: 100px;
    width: 200px;
    max-width: 250px;
    background: #e5e5e5;
    height: 450px;
    overflow: scroll;
    border: 2px solid gray;
 }
 nav#leftnav ol {
    margin: 0 0 0 1em;
    padding-left: 2em;
 }
 nav#leftnav ol li {
    margin: 0;
    padding: 0 0 0 1.5em;
    font-size: 10px;
 }
 nav#leftnav ol li a {
    font-size: 12px;
    padding: 4px 0 1px 0.25em;
    margin: 0;
 }
 ol#commandref {
    margin-left: 8em;
 }