browser/devtools/framework/options-panel.css

Thu, 22 Jan 2015 13:21:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 22 Jan 2015 13:21:57 +0100
branch
TOR_BUG_9701
changeset 15
b8a032363ba2
permissions
-rw-r--r--

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 #options-panel-container {
michael@0 6 overflow: auto;
michael@0 7 }
michael@0 8
michael@0 9 #options-panel {
michael@0 10 display: block;
michael@0 11 }
michael@0 12
michael@0 13 .options-vertical-pane {
michael@0 14 display: inline;
michael@0 15 float: left;
michael@0 16 }
michael@0 17
michael@0 18 .options-vertical-pane > label {
michael@0 19 display: block;
michael@0 20 }
michael@0 21
michael@0 22 .options-vertical-pane {
michael@0 23 margin: 5px;
michael@0 24 width: calc(50% - 30px);
michael@0 25 min-width: 350px;
michael@0 26 -moz-padding-start: 5px;
michael@0 27 }
michael@0 28
michael@0 29 .options-vertical-pane > label {
michael@0 30 padding: 2px 0;
michael@0 31 font-size: 1.4rem;
michael@0 32 }
michael@0 33
michael@0 34 .options-groupbox {
michael@0 35 -moz-margin-start: 15px;
michael@0 36 padding: 2px;
michael@0 37 }
michael@0 38
michael@0 39 .options-groupbox > *,
michael@0 40 .options-groupbox > .hidden-labels-box > checkbox {
michael@0 41 padding: 2px;
michael@0 42 }
michael@0 43
michael@0 44 .options-groupbox > .hidden-labels-box {
michael@0 45 padding: 0;
michael@0 46 }
michael@0 47
michael@0 48 .options-citation-label {
michael@0 49 font-size: 1rem !important;
michael@0 50 /* !important is required otherwise font-size will still be 1.4rem */
michael@0 51 font-style: italic;
michael@0 52 padding: 4px 0 0; /* To align it with the checkbox */
michael@0 53 }
michael@0 54
michael@0 55 .hidden-labels-box:not(.visible) > label,
michael@0 56 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
michael@0 57 display: none;
michael@0 58 }

mercurial