#otherstuff {
	color: #FF0000;
}

div#banner-nav {
	width: 20.5em;
}