/* This file is part of MXE. See LICENSE.md for licensing information. */
    body {
        font-size: 11pt;
        margin-top: 0em;
    }
    code {
        background-color: #f5f5f5;
    }
    h1, h2, h3 {
        font-family: sans-serif;
    }
    h2 {
        font-size: 14pt;
    }
    h3 {
        font-size: 11pt;
        background-color: #eee;
    }
    ul {
        padding-left: 2em;
    }
    li, dt {
        margin-bottom: 0.8em;
    }
    .compact-list li {
        margin-bottom: 0em;
    }
    .usage dt {
        font-family: monospace;
    }
    dd {
        margin-bottom: 1em;
    }
    table {
        border-collapse: collapse;
    }
    table.old {
        border-collapse: separate;
    }
    table.translation td {
        padding-left:  0.5em;
        padding-right: 0.5em;
    }
    td, th {
        background-color: #f9f9f9;
        border: 1px solid #aaa;
        padding: 0.2em;
    }
    dt, .old td {
        background-color: #eee;
        padding: 0.2em;
        border: 0px;
    }
    th {
        background-color: #f2f2f2;
        text-align: center;
    }
    th.row {
        background: #ececec;
        vertical-align: middle;
        text-align: left;
    }
    pre {
        font-size: 8pt;
        border: thin dotted #ccc;
        padding: 2pt;
    }
    img {
        border: thin solid #000;
    }
    #navigation a {
        text-decoration: none;
        color: #00f;
    }
    #navigation a:visited {
        text-decoration: none;
        color: #009;
    }
    #navigation ul {
        padding-left: 0em;
        margin-left: 0em;
        margin-top: 1.5em;
        margin-bottom: 0em;
        list-style-type: none;
    }
    #navigation li {
        margin-bottom: 0.2em;
    }
@media screen, handheld {
    h1 {
        font-size: 12pt;
        margin-top: 0em;
    }
    h2 {
        margin-top: 0em;
        padding-top: 1em;
    }
    #navigation {
        position: fixed;
        float: left; /* hack for ancient browsers
                        which don't support "position: fixed;" */
        margin-top:  1em;
        margin-left: 1em;
        padding-left:   1em;
        padding-right:  1em;
        padding-top:    1em;
        padding-bottom: 1em;
        width: 14em;
        background-color: #afa;
    }
    .section {
        width: 30em;
        margin-left: 19em;
        margin-bottom: 100%;
    }
    #package-list {
        width: 40em;
    }
}
