0002032: user_theme() should return default if theme does not exist
[fa-stable.git] / themes /
drwxr-xr-x   ..
drwxr-xr-x - aqua
drwxr-xr-x - cool
drwxr-xr-x - default