userChrome.css customizations for the Proton era

A user stylesheet which aims to remove certain pitfalls with the Proton UI, e.g. the disconnected tabs.