ross 2004/11/01 03:41:29 PST Modified files: docs/users_guide hugs-ug.css Log: colour and shrink the navigation bar Revision Changes Path 1.2 +10 -1 hugs98/docs/users_guide/hugs-ug.css