code
{
	color: #008080;
	font-size:1.2em;
}
pre.markup
{
	background: #fffcfc;
	border: 1px solid #ecc;
	margin-left: 2em;
	margin-right: 2em;
	overflow: auto;
	padding: 1ex;
}
code.markup
{
	color: #800;
}
code.markup.fragment
{
	background: #fffcfc;
	border: 1px solid #f7eeee;
}
pre code.markup.fragment, a code.markup.fragment, code.fragment code.markup.fragment
{
	background: transparent;
	border: 0;
}
code.markup.comment
{
	color: #866;
}
code.markup.ignored
{
	color: #400;
}

pre.style
{
	background: #fcfffc;
	border: 1px solid #cec;
	margin-left: 2em;
	margin-right: 2em;
	overflow: auto;
	padding: 1ex;
}
code.style
{
	color: #080;
}
code.style.fragment
{
	background: #fcfffc;
	border: 1px solid #eef7ee;
}
pre code.style.fragment, a code.style.fragment, code.fragment code.style.fragment
{
	background: transparent;
	border: 0;
}
code.style.comment
{
	color: #686;
}
code.style.ignored
{
	color: #040;
}

pre.script
{
	background: #fcfcff;
	border: 1px solid #cce;
	margin-left: 2em;
	margin-right: 2em;
	overflow: auto;
	padding: 1ex;
}
code.script
{
	color: #008;
}
code.script.fragment
{
	background: #fcfcff;
	border: 1px solid #eeeef7;
}
pre code.script.fragment, a code.script.fragment, code.fragment code.script.fragment
{
	background: transparent;
	border: 0;
}
code.script.comment
{
	color: #668;
}
code.script.ignored
{
	color: #004;
}

code.dom
{
	color: #808;
}

pre.dtd, pre.idl
{
	background: #eee;
	border: 1px solid #ccc;
	margin-left: 2em;
	margin-right: 2em;
	overflow: auto;
	padding: 1ex;
}
code.dtd, code.idl
{
	color: #000;
}
code.dtd.comment, code.idl.comment
{
	color: #444;
}

a.toplink:link, a.toplink:visited
{
	background: url("up.png") no-repeat 0 0;
	color: #bfd9bf;
	display: block;
	float: right;
	font-size: smaller;
	height: 16px;
	margin: 4px;
	overflow: hidden;
	position: relative;
	text-decoration: none;
	text-indent: 32px;
	top: -.6em;
	width: 16px;
	z-index: 1;
}

#contents li {
	padding:2px;
}