@import url(undohtml.css) screen;

html {
	font-family: arial,verdana;
	font-size: small;
	color: #333;
}
a {
	color: black;
}
ul,p,code {
    padding-left: 10px;
}
dl {
}

#header {
    border-top: 2px solid #777700;
    background-color: #999900;
    border-bottom: 2px solid #bbbb00;
    padding: 2px 10px;
    font-weight: bold;
    font-size: medium;
    position: fixed;
    top: 0;
    left: 0;
    opacity: .9;
    width: 100%;
}
#header a {
    color: #333300;
}
#header a:hover {
    color: #222200;
    text-decoration: underline;
}
h1 {
    margin-top: 40px;
}

h1 {
    padding-left: 10px;
	font-size: xx-large;
	color: #999900;
	font-family: courier, mono-spaced;
}
h2 {
    margin-top: 10px;
	font-family: courier, mono-spaced;
	width: 100%;
	background-color: #990;
	color: #fff;
	padding: 3px 0 2px 10px;
    margin-bottom: 3px;
}
h3 {
	width: 100%;
	background-color: #fff;
	color: #000;
	margin-top: 2px;
	padding: 1px 0 2px 10px;
	padding-left: 10px;
	font-size: x-small;
	display: block;
}
h6 {
    padding-left: 10px;
	font-size: x-small;
}

span.default {
	color: #000;
	font-weight: 600;
}
span.scope {
	color: #000;
	padding: 0 1em 0 1em;
}

dd {
	margin-top: -1.0em;
	margin-left: 10em;
	padding-bottom: .2em;
}
dt {
	margin-top: .1em;
	border-top: 1px dashed #999;
}
dt,.code, code {
	font-family: courier, mono-spaced;
	white-space:pre;
	margin-left: 10px;
}
p.code {
	padding-bottom: .1em;
}
body>p.code+p.code,
body>p.code+p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code {
	background-color: #eee;
}
body>p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code,
body>p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code+p.code {
	background-color: #fff;
}
ul.code li {
	margin-bottom: -.9em;
}
.code em, code em {
	font-style: normal;
	color: #08c;
	font-weight:800;
}


div#footer {
	margin: 3em 0 1em 0;
	padding: 1em;
}
div#footer a:link {
	margin: 0em 2em 0 0;
}