pre.real {
	border: 1px dashed blue;
	padding: 1em;
	background-color: rgb(249,249,249);
}

h1 {
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #aaaaaa;
	color: #494980;
}