jqm download page says:

Minified and Gzipped: jquery.mobile-1.3.0.min.js  (24KB, ready to deploy)

Minified and Gzipped with Default theme: jquery.mobile-1.3.0.min.css  (7KB, ready to deploy)

I can not reproduce this:

jquery.mobile-1.3.0.min.js is 41 KB 

and 

jquery.mobile-1.3.0.min.css is 13 KB 

compressed with gzip!

How comes there is such a big difference?