#menu {
	display: none;
}
.right {
	float: right;
	margin-left: 2ex;
	padding-top: 2ex;
}
br.ignore {
	clear: none;
}