adding patch for buttonset spacing

addyosmani · addyosmani · commit 272e858ce106 · 2011-12-29T14:13:20.000Z
diff --git a/css/custom-theme/jquery-ui-1.8.16.custom.css b/css/custom-theme/jquery-ui-1.8.16.custom.css
@@ -648,7 +648,7 @@ button.ui-button-icons-only { width: 3.7em; }
   border-color: #0064cd #0064cd #003f81;
   border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
 }
-.ui-buttonset .ui-button { margin-left: 0; margin-right: -.3em; }
+.ui-buttonset .ui-button { margin-left: 0; margin-right: -.4em; }
 
 /* workarounds */
 button.ui-button::-moz-focus-inner { border: 0; padding: 0; } /* reset extra padding in Firefox */
diff --git a/third-party/wijmo/jquery.wijmo.wijmenu.css b/third-party/wijmo/jquery.wijmo.wijmenu.css
@@ -73,7 +73,7 @@ position:relative;
 	line-height: 18px;
 }
 
-.wijmo-wijmenu .ui-state-default, .ui-widget-content .ui-state-default, .ui-widget-header .ui-state-default{
+.wijmo-wijmenu .ui-state-default, .ui-widget-content .ui-state-default, .wihmo-wihmenu .ui-widget-header .ui-state-default{
 	  -webkit-box-shadow: 0px 0px 0px #ffffff; /* Saf3-4, iOS 4.0.2 - 4.2, Android 2.3+ */
      -moz-box-shadow: 0px 0px 0px #ffffff; /* FF3.5 - 3.6 */
           box-shadow: 0px 0px 0px #ffffff; /* Opera 10.5, IE9, FF4+, Chrome 6+, iOS 5 */

Original file line number	Diff line number	Diff line change
`@@ -648,7 +648,7 @@ button.ui-button-icons-only { width: 3.7em; }`
`648`	`648`	`border-color: #0064cd #0064cd #003f81;`
`649`	`649`	`border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);`
`650`	`650`	`}`
`651`		`-.ui-buttonset .ui-button { margin-left: 0; margin-right: -.3em; }`
	`651`	`+.ui-buttonset .ui-button { margin-left: 0; margin-right: -.4em; }`
`652`	`652`
`653`	`653`	`/* workarounds */`
`654`	`654`	`button.ui-button::-moz-focus-inner { border: 0; padding: 0; } /* reset extra padding in Firefox */`
Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ position:relative;`
`73`	`73`	`line-height: 18px;`
`74`	`74`	`}`
`75`	`75`
`76`		`-.wijmo-wijmenu .ui-state-default, .ui-widget-content .ui-state-default, .ui-widget-header .ui-state-default{`
	`76`	`+.wijmo-wijmenu .ui-state-default, .ui-widget-content .ui-state-default, .wihmo-wihmenu .ui-widget-header .ui-state-default{`
`77`	`77`	`-webkit-box-shadow: 0px 0px 0px #ffffff; /* Saf3-4, iOS 4.0.2 - 4.2, Android 2.3+ */`
`78`	`78`	`-moz-box-shadow: 0px 0px 0px #ffffff; /* FF3.5 - 3.6 */`
`79`	`79`	`box-shadow: 0px 0px 0px #ffffff; /* Opera 10.5, IE9, FF4+, Chrome 6+, iOS 5 */`