jquery/jquery-mobile — pull request #3318 by jakeboone02 (2011-12-22 16:58:14+00:00)
Title: Use shorthand notation for margin

Saves two whole bytes!