browser/devtools/framework/options-panel.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

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