body {
	color: black;
	font-family: verdana,helvetica,sans,sans-serif;
}
h1 {
	color: blue;
        border-bottom: 3px solid #DDE0FF;
}
h2 {
	color: blue;
        border-bottom: 2px solid #DDE0FF;
}

pre {
	background-color: #DDE0FF;
	border: 1px solid blue;
	padding: 0.5em;
}

a {
    color: blue;
    text-decoration: none;
    border-bottom: 1px solid #DDE0FF;
}

/*#about {
    background-color: #DDE0FF;
    border-top: 1px solid silver;
}*/
#about a {
    color: black;
    text-decoration: none;
}