.DEV_NOTE {
	background-color: #FF6;
	border: 2px solid #FF0;
}

.go_to_top { display: none; }

.footnote {
	font-size: 10pt;
}

html {
	font-family: Arial, Helvetica, sans-serif;
}

/* Controls the look of all menus */
#menu, #header_nav { display: none; }