A straightforward dark theme for AtCoder: covers nav, banners, dropdowns, Ace Editor, Panels, and Copy Buttons.
