Update ws_jenkins.css