/* USER PROVIDED CSS PASTED HERE (unchanged) */