[#1716] more modifications of the css.