dt {
    font-weight: bold;
    margin-top: 3px;
}
dd {
    font-style: italic;
}

pre {
    font-size: 12pt;
}

.box {
    background-color: #FFFED5;
    padding: 6px;
    border: 1px solid navy;
    margin: 6px;
    text-align: left ;
    border-radius: 5px;
    box-shadow: 2px 2px 5px #888888;
    width: 650px;
    }

.codebox {
    background-color: #FFFED5;
    padding: 4px 2px 10px 10px;
    border: 1px solid navy;
    text-align: left ;
    border-radius: 5px;
    box-shadow: 2px 2px 5px #888888;
    margin: 10px 0px 20px 20px; 
    width: 650px;
    }

.page {
    width: 800px;
    margin-left: 20px;
    font-size: 14pt;
    }
    
h4 {
    margin-top: 30px;
   }

li {padding-bottom: 6px;}

.button {
    margin: 5px;
    width: 70px;
    border: 1px solid #FFAAFF;
    padding: 3px;
    background: #FFFFEE
        }

.indent {
    margin-left: 12px;
        }
</style>