Skip to content

Remove Home tab

Frank Winklmeierrequested to merge
home_tab into main

Remove Home tab as the most people will inuitively know that clicking on the site logo will get the "home". Also gives the intro page a slightly better layout if we don't have to hide the navigation.

This is clearly a matter of taste and up for discussion...

Merge request reports