Re: Modifying topHeader to merge both navbars

[Izumi Tsutsui <tsutsui%ceres.dti.ne.jp@localhost>]

jym@ wrote:

> I find the use of two different navbars rather inconvenient in the
> headers, and would like to propose a different setup; the CSS is rather
> flexible, so you can chose the colors/sizes at your likings.
 :
> http://www.netbsd.org/~jym/netbsd/index.html
> 
> Comments?

Looks good, but two comments:

- It might be worth to have a link to "NetBSD Problem Reports" page
  http://www.NetBSD.org/support/send-pr.html
  in "Support" links, especially for non NetBSD users.

- I'd prefer to keep "Ports" link in the header, not under "Developers".
  ("Ports" could have ports/emulator.html and ports/history.html)

---
Izumi Tsutsui