removed some unnecessary CSS, obsolete as of the JS refactor a few minutes ago