div#menu_dev_x {
	font-size: 3pt;
	position: fixed;
	z-index: 1;
}


div#menu_dev {
	z-index: 1;
	position: fixed;
	top: 25px;

	/* ie */
	visibility: hidden;
}
/* non ie */
html > body div#menu_dev {
	visibility: collapse;

}




div#menu_dev a {
	text-decoration: none;
	font-size: 12pt;
	color: black;
	
}

div#menu_dev a:hover {
	text-decoration: underline;
	
}