Re: Modifying topHeader to merge both navbars

[Jean-Yves Migeon <jym%NetBSD.org@localhost>]

On 21.07.2012 23:05, Izumi Tsutsui wrote:
> 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)

Both done, although my phrasing "Bug report howto" may sound clumsy.

-- 
Jean-Yves Migeon
jym%NetBSD.org@localhost