/* Single dark theme. Extracted verbatim from index.html's