After 2.5 months, you have your trivial fix. The FONT tag around the title-bar navigation menu now includes class="topnavmenu" for your CSS pleasure.

Thanks for the idea, Foxcub. Thanks for the patch, theorbtwo.

                - tye