@charset "utf-8";

@viewport
{
    zoom: 1.0;
    width: device-width;
}

html
{
    text-size-adjust: none;
    -webkit-text-size-adjust: none;
    -moz-text-size-adjust: none;
    -ms-text-size-adjust: none;
}

/* HACK: may break on extremely large pages */
html *
{
    max-height: 1000000em;
}

table
{
    border-style: solid;
    border-width: 1px;
    border-collapse: collapse;
    empty-cells: hide;
}

th, td
{
    border-style: solid;
    border-width: 1px;
    padding: .2em;
}

caption
{
    caption-side: top;
    text-align: center;
    font-weight: bold;
}

ul
{
    list-style-type: disc;
}

h1, h2, h3, h4, h5, h6
{
    text-decoration: underline;
    text-align: center;
    margin-block: 1.25rem;
}

h1
{
    font-size: 2em;
    font-weight: bold;
    font-style: normal
}

h2
{
    font-size: 1.59em;
    font-weight: bold;
    font-style: normal
}

h3
{
    font-size: 1.26em;
    font-weight: bold;
    font-style: normal
}

h4
{
    font-size: 1em;
    font-weight: bold;
    font-style: normal
}

h5
{
    font-size: 1em;
    font-weight: normal;
    font-style: normal
}

h6
{
    font-size: 1em;
    font-weight: normal;
    font-style: italic;
}

img.inline
{
    vertical-align: middle;
    margin: .2em;
}

*.nowrap
{
    white-space: nowrap;
}

hr
{
    height: 1px;
    border-width: 0;
    border-style: solid;
}

/* Switch to manual quoting in Lojban
 *
*:lang("jbo") > q:before
{
    content: no-open-quote;
}

*:lang("jbo") > q:after
{
    content: no-close-quote;
}
*/

nav > a
{
    padding: .25em;
    white-space: nowrap;
}

div.code > code
{
    white-space: pre-wrap;
}

body
{
    color: #000;
    margin: 0;
}

hr
{
    color: #000;
    background-color: #000;
}

*.warn
{
    color: #C00;
    font-weight: bold;
}

a:link /*, span.fakelink */
{
    color: #940;
    text-decoration-line: underline;
    text-decoration-style: solid;
}

a:visited /*, span.fakevisited */
{
    color: #528;
    /* Most browsers do not honor changing anything but the color
       from a:link */
    text-decoration-line: underline;
    text-decoration-style: dashed;
}

@media screen
{
    body
    {
        display: flex;
        flex-wrap: wrap;
        justify-content: center;
        min-height: 100vh;
        min-height: 100dvh;
    }

    footer.copyandnav
    {
        background-color: #F8C0FD;
        padding: .3em;
        flex-basis: 170px;
        flex-shrink: 1;
        flex-grow: 1;
        min-width: 170px;
    }

    main
    {
        background-color: #FFE6E6;
        padding: .3em;
        flex-basis: 340px;
        flex-shrink: 2;
        flex-grow: 2;
        min-width: 300px;
    }

    div.code
    {
        background-color: #9CF;
        margin-right: 3em;
    }

    div.code.deprecated
    {
        background-color: #FC9;
    }
}

@media print
{
    main
    {
        background-color: #FFF;
    }

    footer.copyandnav
    {
        background-color: #FFF;
        border-top-style: solid;
        border-top-width: 1px;
        border-top-color: #000;
    }

    div.code
    {
        border-style: solid;
        border-width: 1px;
        border-color: #000;
        margin-left: 3em;
        margin-right: 3em;
    }

    div.code.deprecated
    {
        border-style: dashed;
        border-width: 2px;
        border-color: #F00;
        background-color: #FC9;
    }
}