[libre-riscv-dev] Way too much content in the header bar - unusable!

[Jacob Lifshay]

On Wed, Feb 12, 2020, 10:03 Immanuel, Yehowshua U <yimmanuel3 at gatech.edu>
wrote:

> Hey guys  - there is way to much content in the header bar, and on a 13
> inch laptop, the first paragraph of any page will get cut off when the
> browser is 1000px wide.
>

I'm having the same issue on my phone.

>
> A browser being 1000px is perfectly reasonable.
>
>
> Please remove at least 3 labels.
>

A better solution is to convert the header into a size-limited scrollable
div, that allows having more labels without taking up half the screen.

I think this can be done in CSS by using:
overflow: auto;
max-height: 20px; // or some other suitable value, make sure to not forget
space for a scroll bar on desktop and space for a scroll bar should not be
included on mobile.

An alternative method is to have the header be a drop-down menu, which
allows taking up enough space but only when accessing the menu.

One thing in particular, in either case, the search text box should be in
the same horizontal row as the rest of the header items.

Jacob