/* Default theme CSS */