@import url("/john/john.css");

body
{
/*    background: #fcfcff;*/
    background: ghostwhite;
    color: black; 
    font: normal 100% verdana, helvetica, arial, sans-serif;
    margin-left: 5%;
    margin-right: 5%;
}

h1
{
    font: normal bold 150% verdana, helvetica, arial, sans-serif;
}

h2
{
    margin-top: 2em;
    font: normal bold 100% verdana, helvetica, arial, sans-serif;
}

div
{
    border: none;
    padding: 5px;
    /*
    margin-top: 1em;
    margin-bottom: 1em;
    */
    margin: 1em 5%
}

div.command, div.file
{
    border: dashed 1px black;
    margin: 2em;
    /* padding: top & bottom, left & right */
    padding: 1em 2em;
    font: normal 100% courier-new, courier, fixed, monospace;
    white-space: pre;
    background: aliceblue;
}

div.warning
{
    border: solid 1px black;
    margin: 2em;
    /* padding: top & bottom, left & right */
    padding: 1em 2em;
    font-weight: bolder;
    background: aliceblue;
}

span.filename
{
    font: normal 100% courier-new, courier, fixed, monospace;
    white-space: pre;
    text-decoration: underline;
}

.navbar, .footer
{
    color: #000000;
    font-size: smaller;
    margin: none;
    padding: none;
}

div.footer
{
    margin: 0em 0%;
    padding-top: 2em;
    border-top: solid 1px black;
    padding-bottom: 2em;
    margin-bottom: 2em;
}

div.navbar
{
    margin: 0em 0%;
    padding-bottom: 2em;
    border-bottom: solid 1px black;
}