Fixing Button bugs for Opera 9.63

zhourenjian · zhourenjian · commit 6ee96f34dbb0 · 2009-01-13T16:08:06.000Z
diff --git a/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Button.css b/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Button.css
@@ -44,7 +44,7 @@
 	font-size:1em;
 }
 
-@media all and (min-width:0px){/* opera and safari */
+@media all and (-webkit-min-device-pixel-ratio:0){/* safari only */
 .button-push, .button-toggle {
 	height:auto !important;
 	top:-0.9em;
@@ -57,12 +57,6 @@
 	margin-top:50%;
 	padding:0.25em 0 0.35em 0;
 }
-html:first-child .button-push, html:first-child .button-toggle, html:first-child .button-arrow {
-	top:auto;
-	margin:auto;
-	padding:auto;
-	height:100% !important;
-}
 }
 
 body:nth-of-type(1) .button-push-chrome, 

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@`
`44`	`44`	`font-size:1em;`
`45`	`45`	`}`
`46`	`46`
`47`		`-@media all and (min-width:0px){/* opera and safari */`
	`47`	`+@media all and (-webkit-min-device-pixel-ratio:0){/* safari only */`
`48`	`48`	`.button-push, .button-toggle {`
`49`	`49`	`height:auto !important;`
`50`	`50`	`top:-0.9em;`
`@@ -57,12 +57,6 @@`
`57`	`57`	`margin-top:50%;`
`58`	`58`	`padding:0.25em 0 0.35em 0;`
`59`	`59`	`}`
`60`		`-html:first-child .button-push, html:first-child .button-toggle, html:first-child .button-arrow {`
`61`		`- top:auto;`
`62`		`- margin:auto;`
`63`		`- padding:auto;`
`64`		`- height:100% !important;`
`65`		`-}`
`66`	`60`	`}`
`67`	`61`
`68`	`62`	`body:nth-of-type(1) .button-push-chrome,`