Design of theme system and default theme