FRC 456aed467c Move tabs to sidebar (#873) ... * Move tabs to sidebar * Address all feedback Fix icon names Extract navbar component into a separate function Rm arrow and indentation Move group name under logo Fix visual sidebar stretchy thing Fix visual bug * Extra nits		2022-09-16 14:32:15 +01:00
..
[...slugs]	Move tabs to sidebar (#873)	2022-09-16 14:32:15 +01:00