/* Diehard4 is a dark theme already — the dark variant is the theme itself. */
@import url("gtk.css");