>>5

CSS_FILE is outdated, and I just forgot to remove it. There's a DEFAULT_STYLE option that you can set to the name (proper name, not filename) of the style you want as default.