Allow to shorten the calendar day names via CSS (see #5462)