css: several minor changes so that it looks good on mobiles