/* Default theme */