/* Frame emulation */
body 
{
    margin: 0px;
    padding: 0px;
    overflow: hidden;
    font-family:sans-serif;
}
.titlearea {
    width:100%;
    padding:0%;
    margin:0%;
    border:0%;
    overflow:hidden;
    background-color: #666666;
}
.menuarea
{
    position:absolute;
    top:0%;
    left:0%;
    width:20%;
    height:100%;
    overflow:hidden;
    background-color:#000063;
}
.contentarea
{
    position:absolute;
    left:20%;
    top:0%;
    width:80%;
    height:100%;
    overflow:auto;
    margin:0px;
    padding:0px;
    background-color:#FFFFDD;
}
/* end frame emulation */
/*This is so that IE does not blow up forms*/
form 
{
    margin:0px;
    padding:0px;
    border:0px;
}
h1 
{
    margin-left:0%;
    margin-top:0%;
    font-size:1.6em;
}
h2 
{
    margin-left:0%;
    margin-top:0%;
    font-size:1.4em;
}
h3 
{
    margin-left:0%;
    margin-top:0%;
    font-size:1.2em;
}
p
{
    clear:both;
    margin-left:0%;
    font-size:1em;
}
pre
{
    background-color:white;
    font-family:monospace;
    border-style:solid;
    border-width:thin;
    border-color:black;
    margin:2%;
    padding:2%;
}
.code 
{
    background-color: white;
    font-family: monospace;
    border-style: solid;
    border-width: thin;
    border-color: black;
    margin: 2%;
    padding: 2%;
}
.title 
{
    font-family:sans-serif;
    text-align:right;
    font-size:1em;
    border-style:none;
    border-width:0px;
    
}
.titlebutton
{
    margin:1em;
}
.titlebuttonoff
{
    color:#dddddd;
    margin:1em;
}
.titlebutton:link { color:black;text-decoration:none; }
.titlebutton:visited { color:black;text-decoration:none; }
.titlebutton:hover { color:black;text-decoration:underline; }
.titlebutton:active { color:#84c225;text-decoration:underline; }
.titlebutton:focus { color:black;text-decoration:underline; }

.content 
{
    font-family:sans-serif;
    font-size: 14px;
    padding:1em;
    margin:0px;
}
.menu 
{
    font-family:sans-serif;
    font-size:1em;
    color:black;
}
.menucat0,.menucat1,.menucat2,.menucat3,.menucat4
{
    padding:1px;
    margin-left:10px;
}
.menucat1 
{
    font-weight:bold;
}
.menucat2
{
    font-weight:normal;
}
.menuitem 
{
    font-weight:normal;
    padding:1px;    
    margin-left:10px;
}
.active
{
    color:#84c225;
    text-decoration:underline;
}
.menulink:link { color:black;text-decoration:none; }
.menulink:visited { color:black;text-decoration:none; }
.menulink:hover { color:grey;text-decoration:underline; }
.menulink:active { color:#84c225;text-decoration:underline; }
.menulink:focus { color:black;text-decoration:underline; }

/*used for images in the content area*/
.right
{
    float:right;
    margin:1em;
}

/*(csharp) syntax highlighting*/
.comment 
{
  color: gray;
}

.keyword
{
  color: blue;
}

.stringliteral
{
  color: green;
}
/*end syntax highlighting*/