a#menu {
	text-decoration: underline;
    font-size: smaller;
    font-weight: bold;
	}
a#menu:visited {
	color: blue;
	}
a#menu:hover {
	color: red;
    }