/* RANDM / dev auto: light or dark from the OS setting. Generated by tools/make-themes.py; edit the script, not this file. */
@import url("./theme-randm-light.css") (prefers-color-scheme: light);
@import url("./theme-randm-dark.css") (prefers-color-scheme: dark);