/* Default theme, do not override anything */