body	{ font-family: verdana, arial, sans-serif; font-size: 76%;}

#header 			{ display: none;}
#nav-pri			{ border-bottom: 1px solid gray }
#nav-pri ul			{ list-style: none; font-size: x-small;}
#nav-pri li li 			{ display:none}
#nav-pri li.current-root,
#nav-pri li.current-root * 	{ display: block;}
#nav-pri a			{ text-decoration: none; }
#nav-pri li.current-node a	{ font-weight: bold;}
.clear 				{ clear: both;}
.clear hr			{ display: none;}