css: the shrunkin font size looks a bit strange now