Confirmed users
295
edits
DevTools/CSSTips: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 64: | Line 64: | ||
* [https://developer.mozilla.org/en/CSS_Reference/Mozilla_Extensions CSS Extensions] | * [https://developer.mozilla.org/en/CSS_Reference/Mozilla_Extensions CSS Extensions] | ||
* Also [http://dxr.mozilla.org/mozilla/mozilla-central/toolkit/themes/pinstripe/global/shared.inc.html shared.inc.html] has some values (but there must be a better reference?) | * Also [http://dxr.mozilla.org/mozilla/mozilla-central/toolkit/themes/pinstripe/global/shared.inc.html shared.inc.html] has some values (but there must be a better reference?) | ||
Use of Mozilla extensions that are becoming standards | |||
I've been [https://bugzilla.mozilla.org/show_bug.cgi?id=692742#c6 asked] to remove <tt>box-sizing: border-box;</tt> from this: | |||
#foo { | |||
box-sizing: border-box; | |||
-moz-box-sizing: border-box; | |||
} | |||
The logic being that Mozilla doesn't support <tt>box-sizing</tt> *yet*, although clearly [http://www.w3.org/TR/css3-ui/#box-model it's only a matter of time]. | |||
== Tips == | == Tips == | ||