tweak CSS indentation, font bugfix from 4985495d807b73e0f56aff6e3bc09ea16e520acb