Fixes #737

Some CSS lines hadn't been removed...