body {
    background-color: #ddffdd;
}

p, h3, pre {
    margin-left: 16px;
    margin-right: 16px;
}

pre {
    font-size: 1.1em;
}

@media print{
    div.boxnote {
        page-break-before: auto;
    }
}

@media print{
     div.usebreak {
        page-break-before: always;
    }
}

.content {
    max-width: 840px;
    padding: 8px;
    background-color: white;
    margin-left: auto;
    margin-right: auto;
}

.content h5 {
    font-family: verdana;
    /* font-size: 1.1em; */
    text-align: left;
    margin-left: 16px;
}



.menu a, .menu span {
    font-weight: normal;
    font-size: 12px;
    font-family: sans-serif;
    /* font: bold 17px georgia;
    color: #F0F0FC; */
    padding: 4px;
    display: block;
    border: 1px solid #eee;
    text-align: center;
    /*text-decoration: underline;*/
    text-decoration: none;
    width: 152px;
}

.menu nav {
    margin-top: 4em;
}

.menu ul {
    list-style-type: none;
    
    margin-top: 0;
    margin-left: 16px;
    margin-right: 0;
    margin-bottom: 0;
    
    padding-top: 10px;
    padding-left: 0;
    padding-right: 0;
    padding-bottom: 10px;
}

.menu li {
    float: left;
    /* background:#7f0055; */
    border-radius: 6px;
}

.menu a:hover {
    background: #eee;
    border-radius: 6px;
} 

.menu a:visited {
    color: blue;
} 

#current-page {
    text-decoration: none;
}

.date {
    font-style: italic;
}

.titlebox {
    background-color: #f0f0ff;
    font-family: sans-serif;
    padding: 8px;
    border: 1px solid blue;
    margin-left: 16px;
    margin-right: 16px;
}

.titlebox h1, h2, h3, h4, h5, h6 {
    text-align: center;
}

.titlebox p {
    font-size: 0.8em;
}

.boxnote {
    background-color: #f0f0ff;
    font-family: sans-serif;
    padding: 8px;
    border: 1px solid blue;
    margin-left: 16px;
    margin-right: 16px;
}

.toc {
    background-color: #fffff0;
    font-family: sans-serif;
    padding: 8px;
    /* border: 1px solid green; */
    border-left: 1px solid blue;
    border-right: 1px solid blue;
    border-bottom: 1px solid blue;
    margin-left: 16px;
    margin-right: 16px;
}

.minitip {
    font-size: 0.5em;
    font-variant: small-caps;
}
    
.footer {
    background: #FFF;
    border: 1px solid #EEE;
    color: #666;
    font-size: 1.1em;
    margin: 0 auto;
    text-align: center;
    /* padding: 6px; */
}

.footer h5 {
    font-family: verdana;
    text-align: center;
    margin-top: 2px;
    margin-bottom: 2px;
}