Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | /* -*- Mode: javascript; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ |
michael@0 | 2 | /* vim: set ft=javascript ts=2 et sw=2 tw=80: */ |
michael@0 | 3 | /* This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 4 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 5 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
michael@0 | 6 | |
michael@0 | 7 | /* Side pane views */ |
michael@0 | 8 | |
michael@0 | 9 | #sources-pane > tabpanels > tabpanel, |
michael@0 | 10 | #instruments-pane > tabpanels > tabpanel { |
michael@0 | 11 | -moz-box-orient: vertical; |
michael@0 | 12 | } |
michael@0 | 13 | |
michael@0 | 14 | /* Toolbar controls */ |
michael@0 | 15 | |
michael@0 | 16 | .devtools-toolbarbutton:not([label]) > .toolbarbutton-text { |
michael@0 | 17 | display: none; |
michael@0 | 18 | } |
michael@0 | 19 | |
michael@0 | 20 | /* Horizontal vs. vertical layout */ |
michael@0 | 21 | |
michael@0 | 22 | #body[layout=vertical] #debugger-widgets { |
michael@0 | 23 | -moz-box-orient: vertical; |
michael@0 | 24 | } |
michael@0 | 25 | |
michael@0 | 26 | #body[layout=vertical] #sources-pane { |
michael@0 | 27 | -moz-box-flex: 1; |
michael@0 | 28 | } |
michael@0 | 29 | |
michael@0 | 30 | #body[layout=vertical] #instruments-pane { |
michael@0 | 31 | -moz-box-flex: 2; |
michael@0 | 32 | } |
michael@0 | 33 | |
michael@0 | 34 | #body[layout=vertical] #instruments-pane-toggle { |
michael@0 | 35 | display: none; |
michael@0 | 36 | } |
michael@0 | 37 | |
michael@0 | 38 | #body[layout=vertical] #sources-and-editor-splitter, |
michael@0 | 39 | #body[layout=vertical] #editor-and-instruments-splitter { |
michael@0 | 40 | display: none; |
michael@0 | 41 | } |
michael@0 | 42 | |
michael@0 | 43 | #body[layout=horizontal] #vertical-layout-splitter, |
michael@0 | 44 | #body[layout=horizontal] #vertical-layout-panes-container { |
michael@0 | 45 | display: none; |
michael@0 | 46 | } |
michael@0 | 47 | |
michael@0 | 48 | #body[layout=vertical] #stackframes { |
michael@0 | 49 | visibility: hidden; |
michael@0 | 50 | } |