dl {
    margin-left: 0px;
    }
    
dt {
    font-weight: bold;
    margin-top: 5px;
    margin-left: 0px;}

dd {
    font-style: italic;
    margin-left: 60px;
    margin-top: 3px;
    }

pre {
    font-size: 12pt;
    }

.box {
    background-color: #D8EFFF;
    padding: 10px;
    border: 1px solid navy;
    margin: auto;
    margin-top: 10px;
    text-align: left ;
    border-radius: 5px;
    box-shadow: 2px 2px 5px #888888;
    width: 750px;
    }

.codebox {
    background-color: #FFFFEF;
    padding:10px;
    border: 1px solid navy;
    text-align: left ;
    border-radius: 5px;
    box-shadow: 2px 2px 5px #888888;
    margin: auto; 
    margin-top: 5px;
    padding-bottom: 15px;
    width: 750px;
    }

.page {
    max-width: 800px;
    margin: auto;
    font-size: 14pt;
    }

.trailer {
    margin-top: 20px;
    }    

h4 {
    margin-top: 30px;
   }

li {padding-bottom: 6px;}

.button {
    margin: auto;
    width: 400px;
    border: 1px solid #FFAAFF;
    border-radius: 5px;
    box-shadow: 2px 2px 5px #888888;
    padding: 3px;
    background: #FFFFEE;
    text-align: center;
        }

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