body {
	background-color: white; /* (#FFFFFF) */
	text-color: darkgray; /* (#666666) */
}

.header {
	background-color: #002171; /* (#002171) */
	text-color: #FFFFFF; /* ('white') */
}

nav {
	background-color: sky blue; /* (BBDEFB) */
}

h1 {
	margin-bottom: 0;
}

h2 {
	text-color: medium blue; /* (#1976D2) */ 
}

dt {
	text-color: #002171; /* ('dark blue') */ 
}

.class {
	text-color: #1976D2; /* (#1976D2) */ 
}