body {
	background-color: #ddd;
	color: #000;
	margin-right: 10%;
	margin-left: 10%;
	font-size: 14px;
	line-height: 1.2em;
	font-family: sans-serif;
}
a:link {
	color: #01b;
	background:	transparent;
}
a:visited {
	color: #439;
	background:	transparent;
}
a:active {
	color: #06d;
	background: transparent;
}
a:hover {
	color: #01b;
	background-color: #e8e8e8;
}
a {
	text-decoration: none;
}
img {
	border:	0;
}
div.logo {
	float: right;
	position: relative;
	vertical-align:	top;
}
table {
	border: solid #ccc 0.24em;
	background-color: #ccc;
}
td {
	border: none transparent 0em;
	padding: 0.3em 0.6em;
	background-color: #e4e4e4;
}
table.diff {
	width: 95%;
}
td.diff-added {
	background-color: #ffffe4;
	color: #000000;
}
td.diff-removed {
	background-color: #dde;
	color: #000;
}
h1 {
	font-size: 150%;
	margin: 1.2em 0em 0.4em;
	line-height: 0.8em;
}
h2 {
	font-size: 130%;
	margin: 0.61em 0em 0.31em;
	line-height: 0.92em;
}
h3 {
	font-size: 113%;
	margin: 0.707em 0em 0.353em;
	line-height: 1.06em;
}
h4 {
	font-size: 100%;
	margin: 0.8em 0em 0.4em;
	line-height: 1.2em;
}
textarea {
	width: 100%;
}
dl,	ul,	ol {
	margin:	0em;
	padding: 0em;
	line-height: 1.2em;
}
ul ul, ul ol, ol ol, ol ul {
	margin-left: 1.2em;
}
dt {
	font-weight: bold;
	margin-right: 1.2em;
	float: left;
}
dd {
	position: static;
	margin-left: 1.2em;
}
hr {
	color: #bbb;
	background-color: #bbb;
	height: 0.2em;
	border: 0em;
	margin: 1.1em 0em;
	padding: 0em;
}
form {
	margin-top:	0px;
}
p.warning {
	color: #ff3f3f;
	background:	transparent;
}
span.twin {
	font-size: smaller;	}
tt {
	background-color: transparent;
	color: #222;
	line-height: normal;
}
pre {
	background:	#e4e4e4;
	color: #222;	
	padding: 1.2em;
}