large top bar

[maukkis]

Even with the text being smaller than in the old docs you can fit less stuff on the screen due to the quite large bar on top. The bar's blur effect is also quite distracting atleast for me.

[abe-discord]

Thanks for the feedback! We're planning to do some significant theming changes over the coming months and we will take this into consideration.