body {
    color: black;
    //background: #c6c6c6;
    //background: #333333;
    background: white;
    margin-left: 10%;
    margin-right: 10%;
    font-family: Verdana, sans-serif;
}

h1 {
    margin-left: -8%; 
    font-family: Garamond, "Times New Roman", serif;
}
h2,h3,h4,h5,h6 {
    margin-left: -4%; 
    font-family: Garamond, "Times New Roman", serif;
}

.center { text-align: center }

p.nobr { white-space: nowrap }

.code {
    border:1px dashed #aaaaaa;
    background:#eeeeee;
    white-space:pre;
    font-family:monospace;
    height:auto;
    width:auto;
    overflow:auto;
    padding:5px;
    margin-left:10px;
}

.note {
    border:1px solid #ffff11;
    background:#ffffcc;
    padding:10px;
    margin-left:1em;
    margin-right:2em;
}