@import "h_menu-styles4.css";  /* hides advanced styles from some CSS-challenged browsers */

code {
	color: #050;
	font-weight: bold;
	font-size: 100%;
}