/* The dark colormap is the same as the default one. */

@import url("gtk-main.css");