BODY {
	background-color: white;
	color: black;
	width: 600px;
}

A:link { color: red }
A:visited { color: blue }
A:active { color: white }

.sidebar {
	background-color: navy;
	color: white;
	font-family: sans-serif
}

A.sidebar:link { color: white }
A.sidebar:visited { color: white }
A.sidebar:active { color: white }

.smaller { font-size: 75% }

H1 {
	background-color: navy;
	color: white;
}

.menu {
	float:left;
	background-color: white;
	width:25%;
	border-right:2px;
	border-bottom:2px;
	margin-right:10px;
	padding-bottom:5px;
}

.content {
	background-color: white;
	color: black;
}

.content H1 {
	font-size: 100%;
	background-color: black;
	color: white;
}

.footnote {
	font-style: italic;
	font-size: -1;
}

.literal-block {
	background-color: lightgray;
}

.note {
	border-width: 3px;
	border-style: double none; 
    border-color: black;
}

.admonition-title {
	font-weight: bold;
}