Added "Restore default theme settings" option. Various bug fixes.