css changes and some new tests on double equals