body
{
        min-width: 33em;
        border: 0;
        margin: 0;
        background-color: #f2ecdc;
}

pre.command
{
        display: block;
        font-size: 1.1em;
        border: solid 1px #DDDDDD;
        margin: 0.5em 3em 0.5em 1em;
        padding: 1em 0 0.5em 0.5em;
}

pre.code
{
        display: block;
        border: solid 1px #DDDDDD;
        margin: 0.5em 3em 0.5em 0;
        padding: 1em 0 0.5em 0.5em;
        width:47em;
}

dt
{
        font-weight: bold;
}

sup.note
{
        color:red;
}

p.note
{
        color:red;
}

span.note
{
        color:red;
}

#header
{
        text-align: center;
        border-bottom: solid 1px black;
}

#banner
{
        padding: 0;
        text-align: right;
        padding-right: 1em;
        border-bottom: solid 1px black;
        font-size: 0.9em;
}

#left
{
        float: left;
        width: 12em;
        padding: 0.2em 0 0 0.5em;
}

#left li
{
        margin: 0.5em 0.5em 0.5em 0.5em;
}

#right
{
        margin: 0 0 0 12.5em;
        padding: 0.2em 1em;
        border-left: solid 1px black;
        background-color: white;
}

#footer
{
        clear: both;
        text-align: right;
        padding-right: 1em;
        border-top: solid 1px black;
        font-size: 0.9em;
}

/*** IE6 Fix ***/
* html #l_menu {
  left: 0;
}

#header h1
{
        font: 24pt serif;
        margin: 0.2em;
}

#left ul
{
        display:block;
        padding: 0;
        list-style: none;
}


