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

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: 0px;
        background-color: #d0e4fa;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
 
}

span.underline {text-decoration: underline;}
span.strikethrough {text-decoration: line-through;}
span.smallcaps { font-variant: small-caps; }

.programlistingcontainer {
        margin: 0.5em 2em;
}

.programlistinglanguage { font-variant: small-caps; }

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

.caution, .warning {
        border: 2.5px solid;
	border-color: #f00;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
        padding: 0px 10px 0px 10px;
	background-color: #fff0f5;
}

.caution {
      font-size: 1.2em;
}

.note {
        border: 2.5px solid;
        border-radius: 2.5px;
	border-color: #6b8e23;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
        padding: 0px 10px 0px 10px;
	background-color: #f0fff0;
}

.important {
        border: 2.5px solid;
        border-radius: 2.5px;
	border-color: #eeee00;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
        padding: 0px 10px 0px 10px;
	background-color: #ffffaa;
}

.tip {
        border: 2.5px solid;
        border-radius: 2.5px;
	border-color: #551a8b;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
        padding: 0px 10px 0px 10px;
	background-color: #ffedff;
}

.sidebar {
        border: 2.5px solid;
        border-radius: 2.5px;
	border-color: #c1cdcd;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
        padding: 0px 10px 0px 10px;
	background-color: #f0ffff ;
}

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

.application, .filename {
    color: #0a0a60;
}

h1, h2, h3, h4, h5, h6 {
    color: #003300;
}

.funcdef {
    color: #473175;
    background-color: #f0faff;
}