body {
	margin: 6px;
	padding: 0px;
}

p.header {
	padding: 3px;
	padding-left: 2px;
	margin: 0px;
	margin-bottom: 6px;
	font-size: 16px;
	font-weight: bold;
}

p,td,th,li,dt,dd,div {
	font-family: "Luxi Serif", Arial, Helvetica, Verdana, sans-serif;
	font-size: 12px;
}

div.content {
	padding: 3px;
	margin: 0px;
}

div.linkbar {
	text-align: right;
}

div.linkbarmenu {
	display: inline;
	font-size: 9px;
	padding: 1px;
}

a.link { text-transform: lowercase; }       
a.link:before { content: "["; }       
a.link:after  { content: "]"; }        

pre.content {
	font-family: "Luxi Mono", lucidatypewriter, Courier, monospace;
	font-size: 10px;
	padding: 3px 2px;
	margin: 0px;
	width: 100%;
}

table {
	border-collapse: collapse;
	padding: 0px;
	margin: 0px;
	width: 100%;
	empty-cells: show;
	border-spacing: 0;
}

table.subheader {
	width: auto;
	padding: 0px;
	margin: 0px;
	margin-bottom: 3px;
	margin-left: 3px;
}
table.subheader tr td {
	font-size: 13px;
	font-weight: bold;
}

tr,td {
	background: inherit;
	font-family: inherit;
	border: 0px;
	padding: 2px;
	margin: 0px;
	border-spacing: 0px;
}

p.rowline {
	padding: 2px;
	margin: 0px;
}

div.homepage {
	font-family: "Luxi Serif", Helvetica, Arial, Verdana, sans-serif;
	font-size: 12px;
	font-style: italic;
	text-align: right;
	padding-top: 5px;
	padding-right: 1px;
}

p.content {
	padding: 3px;
	margin: 0px;
}

td.summary {
	padding: 2px;
	padding-left: 4px;
	margin: 0px;
	font-weight: bold;
}

p.body {
	padding: 3px;
	margin: 0px;
}

div.debug {
	margin-top: 10px;
}

p.debug {
	padding: 0px;
	margin: 0px;
	white-space: pre;
}

p.error {
	padding: 3px;
	margin: 0px;
	white-space: pre;
}

span.patch_orig, span.patch_mod, span.patch_line, span.patch_del, span.patch_add {
	width: 100%;
	display: block;
}

span.syntax_comment  { font-style: italic; }
span.syntax_keyword  { font-weight: bold; }
span.syntax_builtin  { font-weight: bold; }
span.syntax_string   {}
span.syntax_special  {}
span.syntax_funcdef  { font-weight: bold; }
span.syntax_vartype  { font-weight: bold; }
span.syntax_constant {}

a.squarelink, a.squarelink2, a.squarelink3 {
	font-family: Courier, lucidatypewriter, monospace;
	font-size: 10px;
	font-weight: bold;
	text-decoration: none;
	padding: 0px;
	padding-left: 2px;
	padding-right: 2px;
	margin: 0px;
	vertical-align: middle;
}

td.squarelink {
	width: 14px;
	padding-top: 4px;
	padding-bottom: 3px;
	padding-left: 3px;
	vertical-align: top;
}

table.bunch tr td.squarelink {
	vertical-align: middle;
}

table.abrowse tr td.squarelink {
	padding-top: 6px;
}

td.modisymbol {
	width: 18px;
	vertical-align: top;
	padding-top: 2px;
}

td.subcontent {
	vertical-align: top;
	padding-top: 2px;
}

body {
	color: #101010;
	background: white;
}

a:link    { color: #084090; }
a:visited { color: #062436; }
a:active  { color: #103040; }
a         { text-decoration: none; }
a:hover   { background: #ffffda; }

/* make links fancier, hopefully all browsers process these lines correctly */
a:hover   { border: 1px solid #9ab0d0; margin: -1px; }
a.squarelink:hover, a.squarelink2:hover, a.squarelink3:hover { margin: 0px; }

/* workaround for a bug in Mozilla, other browsers do not need it */
a.link       { border: 1px solid transparent; margin: 0px; }
a.link:hover { border: 1px solid #9ab0d0;     margin: 0px; }

/* now, workaround for Konqueror that thinks "transparent" is black */
//a.link { border: hidden; }
 
p.header {
	/* Konqueror 3.1 sets "transparent" to black, so duplicate bg color */
	border: 1px solid white;
	color: #2F4761;
}
 
div.content {
	background-color: #edf8ff;
	border: 1px dotted #2050a0;
}
 
table.list, table.abrowse {
	border: 1px solid #9ab0d0;
}
 
table.file {
	border: 1px dotted #8094b0;
}

table.subheader {
	color: #406080;
}

table.bunch {
	background: #c2d4ec;
	border: 1px solid #a4aaca;
}
 
tr.item0 {
	background: #dfeeff;
}
 
tr.item1 {
	background: #d3e2f4;
}
 
p.body {
	background: #d4e6fc;
	border: 1px solid #adb8cf;
	border-top: hidden;
}
 
span.patch_orig { background: #b0b4c8; }
span.patch_mod  { background: #b0b4b8; }
span.patch_line { background: #d8e6ff; }
span.patch_del  { background: #ee9ab0; }
span.patch_add  { background: #94f4b0; }
 
span.syntax_comment  { color: #363680; }
span.syntax_keyword  { color: #740000; }
span.syntax_builtin  { color: #a000a0; }
span.syntax_string   { color: #106a5a; }
span.syntax_special  { color: #408000; }
span.syntax_funcdef  { color: #2040d0; }
span.syntax_vartype  { color: #942060; }
span.syntax_constant { color: #c08020; }
 
a.squarelink        { border: 1px solid #98a0bc; color: #687088; }
a.squarelink:hover  { background: #b0c0e0; }
a.squarelink2       { border: 1px solid #808894; color: #687088; }
a.squarelink2:hover { background: #98a4c4; }
a.squarelink3       { border: 1px solid #c08080; color: #a06868; }
a.squarelink3:hover { background: #e3aaaa; }