Optimised various properties in WebProtegeLookAndFeel.css