Thanks everyone for the useful feedback.
I pushed it to production just now.
If you have any other issue, just shout an email, I'll fix them as they come.
--
Guillaume
On Mon, Oct 2, 2017 at 12:55 PM, Guillaume Smet
<guillaume.smet(a)gmail.com> wrote:
On Mon, Oct 2, 2017 at 11:44 AM, Yoann Rodiere
<yoann(a)hibernate.org> wrote:
> Well it's a bit confusing when coming from
hibernate.org, since we made sure
> to make everything look like it's the same website, and yet this important
> part disappears... Granted, we could only have a stripped-down version of
> the
hibernate.org menu, so it would still be confusing, but that's still
> better than nothing in my opinion.
> On top of that, the menu button would only fill some currently unused space
> on the top right, so there's really not much of a reason to remove it.
After discussing it with Yoann, I brought back a simplified version of
the menu on mobile (to avoid having to maintain the whole
hibernate.org tree on in.relation.to).
--
Guillaume