/* Empty file named adminer-dark.css causes Adminer to switch to default dark mode. */