/***********************************************/
/* HTML tag styles                             */
/***********************************************/ 


div.menu{
	float: left;
}

div.menu a {
	font-size: 90%;
	font-weight: bolder;
	padding: 0px .5em 0px .5em;
}