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.
