/* BLACKGLASS GUI settings (Admin → GUI settings; app/src/GuiTheme.php). Version 0. */
/* Every option is at its default: nothing is set here. */