body {
	color: #000;
	background-color: #fff;
	font-family: sans-serif;
/* 	text-align: justify; */
	margin-right: 20px;
	margin-left: 20px;
}

h1, h2, h3, h4 {
	font-weight: normal;
	font-style: italic;
}

a {
	font-weight: bold;
}

a:link, a:visited {
	color: #008;
	background-color: inherit;
	text-decoration: none;
}

a:link:hover, a:visited:hover {
	color: #008;
	background-color: #ddf;
}

a:link:active, a:visited:active {
	color: #f00;
}

hr {
	border: 0;
	height: 4px;
	color: #ccc;
	background-color: #ccc;
}

h3 code {
	font-family: inherit;
}

p code {
/* 	background-color: #f2f2f2; */
}

code {
	white-space: nowrap;
	font-weight: bold;
}

pre {
/* 	font-size: 105%; */
/* 	font-style: italic; */
	background-color: #f2f2f2;
	border: 1px solid #ddd;
	padding: 0.3em;
/* 	font-weight: bold; */
}

blockquote > ul {
	padding-left: 0;
}
blockquote {
	margin-top: 0;
	margin-bottom: 0;
}

table {
	border-collapse: collapse;
}
td {
	padding: 0.25em;
	border: 1px solid #ccc;
}

.node h3 {
	font-weight: bold;
/* 	font-style: normal; */
/* 	font-size: 125%; */
}
dfn {
	font-weight: bold;
/* 	font-style: normal; */
}