browser/themes/shared/devtools/profiler.inc.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 %if 0
michael@0 2 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 3 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 4 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 5 %endif
michael@0 6
michael@0 7 .profiler-sidebar-empty-notice {
michael@0 8 max-width: 176px;
michael@0 9 padding: 10px;
michael@0 10 background-color: rgb(61, 69, 76);
michael@0 11 color: white;
michael@0 12 font-weight: bold;
michael@0 13 }
michael@0 14
michael@0 15 .profiler-sidebar {
michael@0 16 min-width: 196px;
michael@0 17 }
michael@0 18
michael@0 19 .profiler-sidebar + .devtools-side-splitter {
michael@0 20 border-color: transparent;
michael@0 21 }
michael@0 22
michael@0 23 .profiler-sidebar .devtools-toolbar {
michael@0 24 -moz-border-end: 1px solid;
michael@0 25 }
michael@0 26
michael@0 27 .theme-dark .profiler-sidebar .devtools-toolbar {
michael@0 28 -moz-border-end-color: black; /* Match the splitter. */
michael@0 29 }
michael@0 30
michael@0 31 .theme-light .profiler-sidebar .devtools-toolbar {
michael@0 32 -moz-border-end-color: #aaa; /* Match the splitter color. */
michael@0 33 }
michael@0 34
michael@0 35
michael@0 36 .profiler-sidebar-item {
michael@0 37 padding: 3px 5px;
michael@0 38 }
michael@0 39
michael@0 40 .profiler-sidebar-item, .side-menu-widget-item-contents {
michael@0 41 cursor: default;
michael@0 42 }
michael@0 43
michael@0 44 .profiler-sidebar-item > h3 {
michael@0 45 font-size: 13px;
michael@0 46 display: block;
michael@0 47 cursor: pointer;
michael@0 48 }
michael@0 49
michael@0 50 .profiler-sidebar-item > hbox {
michael@0 51 margin-top: 2px;
michael@0 52 }
michael@0 53
michael@0 54 .profiler-sidebar-item > hbox > a {
michael@0 55 display: none;
michael@0 56 text-decoration: underline;
michael@0 57 cursor: pointer;
michael@0 58 }
michael@0 59
michael@0 60 .selected [state=completed] .profiler-sidebar-item > hbox > a {
michael@0 61 display: block;
michael@0 62 }
michael@0 63
michael@0 64 .theme-dark .selected .profiler-sidebar-item > hbox {
michael@0 65 color: #b6babf;
michael@0 66 }
michael@0 67
michael@0 68 .theme-light .selected .profiler-sidebar-item > hbox {
michael@0 69 color: #ebeced;
michael@0 70 }
michael@0 71
michael@0 72 #profiler-start {
michael@0 73 list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
michael@0 74 -moz-image-region: rect(0px,16px,16px,0px);
michael@0 75 }
michael@0 76
michael@0 77 #profiler-start[checked] {
michael@0 78 -moz-image-region: rect(0px,32px,16px,16px);
michael@0 79 }

mercurial