some CSS modifications