oracle
committed
on 22 Jan 02
fix default_theme_name