/* for browsers with full CSS1 support */
@import "menu1.css";

/* menu (limited CSS1 support) */
.menu {width: 8.5em;}
.menu dt	{color: navy; background: silver; margin-bottom: 1px;}