body {
	font-family: verdana,sans-serif;
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
}

a:link, a:visited {
    text-decoration: none;
    color: #126a00;
}

a:hover {
    text-decoration: underline;
    color: #126a00;
}

a.footer:visited, a.footer, .footer
{
    background-color: #dcdcdc;
    color: #a0a0a0;
    font-family: monospace;
    font-size: small;
    text-align: center;
}

.screen {
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #eee;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
 
}

.programlisting {
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #ddd;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
}

.caution, .warning {
        border: 1px solid #f00;
}

.caution {
      font-size: 1.2em;
}

span.guilabel, span.guimenu, span.guisubmenu, span.guimenuitem, span.guibutton {
    background-color: #e0e0e0;
}