/* @option user-selected misc. theme setting */

#nav1, #nav2 {
	text-transform: uppercase;
}