body {
	margin: 10px;
}
table td {
	padding: 1px 10px;
}
table thead td {
	font-weight: bold;
}
ul li {
	margin-top: .3em;
}
span.icon {
	padding-left: 5px;
	padding-right: 5px;
	background-color: #ff0;
	color:#00d;
	border: 1px solid #00f;
	font-weight: bolder;
}
h1,h2,h3 {
	margin-top: 1.5em;
	margin-bottom: .5em;
}
h1 {
	margin-top: 0.5em;
	color: #00f;
}
h2,h3,h4,h5,h6 {
	color: #00c;
}
div.h2 {
	margin-left: 5px;
}
div.h3 {
	margin-left: 10px;
}
div.h4 {
	margin-left: 15px;
}
dd {
	margin-bottom: .4em;
}
pre {
    font-family: monospace;
    border: 2px solid rgb(210,210,210);
    background-color: rgb(240,240,240);
    border-radius: 8px;
    padding: 10px;
    margin: 0px 20px;
}