helwar.css, helwar.texi: Make HTML output prettier - don't display menu in HTML output.