* { margin: 0; padding: 0; }
html, body, #main { height: 100% }
body, div
{
    font-family: Arial, Helvetica, sans-serif;
}
body
{
    margin: 50px 0px 0px 0px;
    padding: 0;
    font-size: small;
    color: #333;
}
h1
{
    font-family: Arial, Helvetica, sans-serif;
    padding: 10px;
    margin: 0;
    font-size: 15px;
    font-weight: bold;
}

h2
{
    font-family: Arial, Helvetica, sans-serif;
    padding: 10px;
    margin: 0;
    font-size: 11px;
    font-weight: normal;
}
h3
{
    font-family: Arial, Helvetica, sans-serif;
    padding: 0px;
    margin: 0;
    font-size: 13px;
    font-weight: bold;
}
h4
{
    font-family: Arial, Helvetica, sans-serif;
    padding: 0px;
    margin: 0;
    font-size: 10px;
    font-weight: bold;
}
h5
{
    font-family: Arial, Helvetica, sans-serif;
    padding: 0px;
    margin: 0;
    font-size: 10px;
    font-weight: normal;
}

#main { padding: 1em; }
#banner { padding: 15px; background-color: #06b; color: white; font-size: large; border-bottom: 1px solid #ccc;
    background: url(bg.gif) repeat-x; text-align: center }
#banner a { color: white; }
fieldset { padding: 8px; }
legend { font-weight: bold; }

pre { margin-bottom: 1em; }
    
.jscom, .mix htcom   { color: #4040c2; }
.com      { color: green; }
.regexp   { color: maroon; }
.string   { color: teal; }
.keywords { color: blue; }
.global   { color: #008; }
.numbers  { color: #880; }
.comm     { color: green; }
.tag      { color: blue; }
.entity   { color: blue; }
.string   { color: teal; }
.aname    { color: maroon; }
.avalue   { color: maroon; }
.jquery   { color: #00a; }
.plugin   { color: red; }


.basic, #list2, #list3, #navigation { width:20em; }

#log { position:fixed; bottom: 0; right:1em; text-align:right; }
#switch { position: fixed; bottom: 0; right: 15em; }

.basic
{
    width: 940px;
    font-family: Arial, Helvetica, sans-serif;
    border: 0px solid black;
}
.basic div
{
}

.basic p {
	margin-bottom : 10px;
	border: none;
	text-decoration: none;
	font-weight: bold;
	font-size: 10px;
	margin: 0px;
	padding: 10px;
}
.basic a
{
    cursor: pointer;
    display: block;
    padding: 1px 1px 1px 5px;
    text-decoration: none;
    font-weight: bolder;
    font-size: 11px;
    background-color: #666666;
    border-top: 10px solid #FFFFFF;
}
.basic a:hover
{
    background-color: #999999;
}
.basic a.selected
{
    color: #FFFFFF;
    background-color: #000000;
}

div#GridWidhtMenu
{
    width: 1000px;
}

div#TopLineTopMenu
{
    background-color: #999999;
    margin-top: 5px;
    height: 3px;
}

div#BottomLineOne
{
    background-color: #666666;
    height: 13px;
    margin-top : 10px;
    margin-bottom : 10px;
}

div#BottomLineTwo
{
    background-color: #333333;
    height: 13px;
    margin-bottom : 10px;
}

div#BottomLineTwoMargin
{
    background-color: #333333;
    height: 13px;
    margin-top : 10px;
    margin-bottom : 10px;
}

div#spacer10
{
    height: 6px;
}

div#spacer11
{
    height: 14px;
}

ul.topnav
{
    list-style: none;
    padding: 0;
    margin: 0 0 0 0;
    float: left;
    width: 1000x;
    font-size: 10px;
}   
ul.topnav li
{
    float: left;
    margin: 0 20px 0 0;
    position: relative;
    width: 140px;
    height: 15px;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
    text-align: center;
    vertical-align: middle;
    padding-top: 5px;
    padding-bottom: 5px;
    background-color: #FFFFFF;
    font-weight: bold;
}   

ul.topnav li:hover
{
    background-position: center top;
    background: center top;
    color: #666666;
    text-decoration: none;
    background-color: #C0C0C0;
    width: 140px;
    height: 15px;
}

ul.topnav li#Active
{
    background-position: center top;
    background: center top;
    color: #FFFFFF;
    text-decoration: none;
    background-color: #C0C0C0;
    width: 140px;
    height: 15px;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 13px;
    font-weight: bolder;
}

ul.topnav li a
{
    color: #333333;
    display: block;
    text-decoration: none;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
    width: 140px;
    height: 15px;
    font-weight: bolder;
}

ul.topnav li a#activated
{
    color: #FFFFFF;
    display: block;
    text-decoration: none;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
    width: 140px;
    height: 15px;
    font-weight: bolder;
}

.border
{
    border: 1px solid #666666;
}

br
{
    line-height: 5px;
}