Refresh top bar CSS.

This adjusts the top bar CSS to avoid using IDs in selectors, and
refines the look of the top bar.