Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-14 05:45:37 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Backed out changeset 3960ad0617ff for landing with the wrong bug number.

Browse Source
This commit is contained in:
Wes Kocher 2014-03-26 11:26:26 -07:00
parent 620647f1c0
commit 8d36cb0913
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
browser/devtools/framework/options-panel.css
View File

@ -36,15 +36,10 @@
padding: 2px;
}
.options-groupbox > *,
.options-groupbox > .hidden-labels-box > checkbox {
.options-groupbox > * {
padding: 2px;
}
.options-groupbox > .hidden-labels-box {
padding: 0;
}
.options-citation-label {
font-size: 1rem !important;
/* !important is required otherwise font-size will still be 1.4rem */