css: minor ajustments