body {
    margin: 0;
}
div#box {
    font-family: sans;
    max-width: 800px;
    /* margin-left: auto; */
    /* margin-right: auto; */
    margin: 20px auto;
    color: #333;
    /* font-size: 17px; */
    font-size: 1rem;
    line-height: 1.5;
}
header {
    padding: 0 20px;
}
div#content {
    padding: 10px 20px;
}
nav#menu, footer {
    padding: 20px;
}
nav#menu {
    background-color: #eee;
    padding: 0;
}
nav#menu li {
    display: inline;
    font-weight: bold;
}
nav#menu ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    line-height: 42px;
}
nav#menu li.active a {
    background-color: #fff;
    border: 1px solid #eee;
}
nav#menu li a:hover {
    background-color: #fff;
}
nav#menu a {
    color: #000;
    padding: 8px 10px;
    text-decoration: none;
}
footer {
    color: gray;
    text-align: center;
    font-size: small;
}
footer a {
    color: gray;
    text-decoration: none;
}

pre {
    border: dotted black 1px;
    background: #eee;
    padding: 1em;
    font-size: .9em;
}
code {
    font-family: monospace;
}
img {
    max-width: 100%;
}
table {
    border-collapse: collapse;
    /* margin: 0px auto; */
    display: block;
    width: 100%;
    overflow: auto;
}

td, th {
    border: 1px solid;
}

td, th {
    padding: 2px 5px;
}

nav.breadcrumb {
    padding: 5px;
    background: #f8f8f8;
    font-size: smaller;
}
nav.breadcrumb ol {
    margin: 0;
    padding-left: 0;
    list-style: none;
}
nav.breadcrumb li {
    display: inline;
}
nav.breadcrumb a {
    text-decoration: none;
}
nav.breadcrumb a:hover {
    text-decoration: underline;
}
nav.breadcrumb li + li::before {
    margin: 0 0.25em;
    content: "/";
}
nav.breadcrumb li:last-child a {
    color: #333;
    text-decoration: none;
}
.rightalign {
    float: right;
}