[khc]

I use "No Title Bar" gnome extension and "Tab center redux" plus userChrome.css to move the tab bar to the side. The top side is actually quite compact.