Cleanup CSS coding style and remove obsolete bits

See commit messages for details. None of these should have any effect of function of the app at this point.