using jetty's gzip compression for the css // #7