Compressed and tidied WebProtege.css