h2 {
	background-color: #ccccff;
}

.method_details {
	border-bottom: 2px solid gray;
	padding-bottom: .5em;
}
.main_nav {
	background-color: #EEEEFF;
	padding: 4px;
}
.main_nav > * {
	font-family: sans-serif;
	font-weight: bolder;
	padding: 4px;
}
.nav_current {
	background-color: #00008B;
	color: #FFFFFF;
}

table.summary_list {
	border-collapse: collapse;
	width: 100%;
}
table.summary_list th {
	background-color: #CCCCFF;
	font-size: larger;
}
table.summary_list td, table.summary_list th {
	border: 2px solid grey;
	padding: .2em;
}

/*
.unresolved_type {
	background-color: red;
	color: white;
}
*/

.footer {
	text-align: center;
	font-size: smaller;
}