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