h2{
	font-size: 20px;
	color: midnightblue;
}

pre {
	background-color: gray;
	color: white;
}

h3 {
        padding-left: 10px;
	color: midnightblue;
	font-size: 18px;
        border-left: 1px dotted midnightblue;
}

p {
        margin-left: 30px;
        font-size: 16px;
        text-decoration: none;
}

p.title {
        font-size: 16px;
}