@media screen {
    body  {
        color: #000000;
        background-color: #ffffff; 
        font-family: Times, serif;
        font-size: 14px;
    }
    h1, h2, h3, h4, h5, h6 { 
        font-family: Luxi Sans, Ariel, Helvetica, sans-serif;
        padding-bottom: 0.25em;
        border-bottom-width: 1px;
        border-bottom-style: solid;
        border-bottom-color: #aaaaaa;
    }
    h2, h3, h4, h5, h6 { 
        padding-left: 0.25em;
        border-left-width: 1px;
        border-left-style: solid;
        border-left-color: #aaaaaa;
        background-color: #eeeeee;
    }
    h1 { 
        text-align: center;
    }
    hr {
        color: #aaaaaa;
        background-color: #aaaaaa;
        border: 0px;
        height: 1px;
    }
    p {
        text-align: justify;
    }
    a:link { 
        color: #c82828;
        text-decoration: underline;
    }
    a:visited { 
        color: #754b4b;
        text-decoration: underline;
    }
    a:hover, a:active { 
        color: #ff0000;
        text-decoration: underline;
    }
    pre { 
        font-family: Monospace, Courier, monospace;
        font-size: 12px;
        /* background-color: #efefef; */
        color: #3131aa;
        padding: 1em 1em 1em 1em;
    }
    #banner {
        height: 50px;
        margin-left: 50px;
        margin-right: 50px;
    }
    #leftnav {
        position: absolute;
        top: 85px;
        left: 58px;
        width: 120px;
        border: 1px solid #aaaaaa;
    }
    #leftnav > p.nav:first-child {
        border: none;
    }
    p.nav {
        margin: 0px;
        padding: 2px;
        border-top-width: 1px;
        border-top-style: solid;
        border-top-color: #aaaaaa;
        font-family: Luxi Sans, Ariel, Helvetica, sans-serif;
        font-size: 13px;
    }
    .navheader { 
        font-family: Luxi Sans, Ariel, Helvetica, sans-serif;
        padding-bottom: 0.25em;
        padding-top: 0.25em;
        font-size: 16px;
        font-weight: bold;
        text-align: center;
        border-top-width: 1px;
        border-top-style: solid;
        border-top-color: #aaaaaa;
    }
    #currentPage {
        background-color: #eeeeee;
    }
    #content {
        margin-left: 200px;
        margin-right: 50px;
    }

    div.thumbnail {
        float: left;
        padding: 10px;
        margin: 5px;
        border-width: 1px;
        border-style: solid;
        border-color: #aaaaaa;
        text-align: center;
        height: 220px;
        width: 250px;
        background-color: #eeeeee;
    }
    div.thumbnail p {
        text-align: center;
        font-family: Luxi Sans, Ariel, Helvetica, sans-serif;
        font-size: 13px;
    }
}

@media print {
    #leftnav {
        display: none;
    }
    body  {
        color: #000000;
        background-color: #ffffff; 
        font-family: Times, serif;
        font-size: 12pt;
    }
    h1, h2, h3, h4, h5, h6 { 
        font-family: Luxi Sans, Ariel, Helvetica, sans-serif;
        padding-bottom: 0.25em;
    }
    h1 { 
        text-align: center;
        border-bottom-width: 1pt;
        border-bottom-style: solid;
        border-bottom-color: #000000;
        page-break-after: avoid;
    }

    /* XXX: Ideally, on the shell tips page, we should have a div
       for each tip, so that we can define the tip as
       page-break-inside: avoid */
    p {
        text-align: justify;
    }
    hr {
        color: #000000;
        background-color: #000000;
        border: 0pt;
        height: 1pt;
    }
    /* Print URLs ... see Eric Meyer, alistapart.com:articles:goingtoprint */
    a:link:after, a:visited:after {
        content: " (" attr(href) ")";
    }
    pre { 
        font-family: Monospace, Courier, monospace;
        font-size: 10pt;
        padding: 1em 1em 1em 1em;
        border-width: 1pt;
        border-style: solid;
        border-color: #000000;
    }

    div.thumbnail {
        float: left;
        padding: 10pt;
        margin: 5pt;
        border-width: 1pt;
        border-style: solid;
        border-color: #aaaaaa;
        text-align: center;
        height: 220pt;
        width: 250pt;
        background-color: #eeeeee;
    }
    div.thumbnail p {
        text-align: center;
        font-family: Luxi Sans, Ariel, Helvetica, sans-serif;
        font-size: 11pt;
    }
}