#subtitle {
	margin-bottom: 15px;
}

#menu a {
	color: navy;
	margin-right: 2px;
	/*background-color: #dedede;*/
}

p, h3 {
	margin-left: 10px;
	margin-right: 10px;
}



p {
	text-align: justify;
}

pre {
	margin: 0 20px;
	padding: 5px;
	border-left: 4px solid #d2d2d2;
	background-color: #eee;
}

pre em {
	font-style: normal;
	color: red;
}

ul {
	list-style-type: square;
	/*margin-left: 0px;
	padding-left: 20px;*/
}