* { margin: 0; padding: 0; }
html, body, #main { height: 100% }
body, div { font-family: 'lucida grande', helvetica, verdana, arial, sans-serif }
body { margin: 0; padding: 0; font-size: small; color: #333 }
h1, h2 { font-family: 'trebuchet ms', verdana, arial; padding: 10px; margin: 0 }
h1 { font-size: large }
h3 { margin-top: .5em; }
#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 }
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; }

li
{
	list-style-type: none;
}

#navigation
{
	border: 1px solid #740020;
	margin: 0px;
	margin-top: -3px;
	padding: 0px;
	text-indent: 0px;
	background-color: #E2E2E2;
	width: 10.35em;
	width: 135px;
}

*:lang(en) #navigation
{
    margin-left: 7px !important;
	margin-top: 0px !important;
}

#navigation:empty
{
    margin-left: 7px !important;
	margin-top: 0px !important;
}

#navigation a
{
	text-align: left;
}

#navigation a.head
{
	cursor: pointer;
	border: 1px solid #CCCCCC;
	background: #FFFFFF url('collapsed_red.gif') no-repeat scroll 3px 4px;
	color: #89263A;
	display: block;
	font-weight: bold;
	margin: 0px;
	padding: 0px;
	text-indent: 14px;
	text-decoration: none;
}

#navigation a.head:hover
{
	color: #333333;
}

#navigation a.selected
{
	background-image: url('expanded_red.gif');
}

#navigation a.current
{
	background-color: #FFFF99;
}

#navigation ul
{
	border-width: 0px;
	margin: 0px;
	padding: 0px;
	text-indent: 0px;
}

#navigation li
{
	list-style: none outside none;
	display: inline;
	text-align: left;
	font-size: 12px;
}

#navigation li li a
{
	color: #000000;
	display: block;
	text-indent: 10px;
	text-decoration: none;
	font-size: 9px;
}

#navigation li li a:hover
{
	background-color: #FFFF99;
	color: #FF0000;
}