Regarding Firefox Developer Tools. Is there a way to set older dark theme there? I don't like the current one that appeared in Firefox 57. Previous had milder / metal colors.