tweaks for making devtools look nicer
[themes.git] / LCARStrek / browser / devtools / orion-container.css
... / ...
CommitLineData
1/* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
3 * You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5.viewTooltip {
6 display: none; /* TODO: add tooltips support, see bug 721752 */
7 font-family: "Liberation Mono", Consolas, "Courier New", monospace;
8 font-size: 13px;
9 background-color: #9C9CFF;
10 color: #000000;
11 padding: 2px;
12 border-radius: 4px;
13 border: 1px solid #FFCF00;
14 z-index: 100;
15 position: fixed;
16 overflow: hidden;
17 white-space: pre;
18}
19
20.viewTooltip em {
21 font-style: normal;
22 font-weight: bold;
23}
24
25.annotationHTML {
26 cursor: pointer;
27 width: 16px;
28 height: 16px;
29 display: inline-block;
30 vertical-align: middle;
31 background-position: center;
32 background-repeat: no-repeat;
33}
34.annotationHTML.task {
35 background-image: url("chrome://browser/skin/devtools/orion-task.png");
36}
37.annotationHTML.breakpoint {
38 background-image: url("chrome://browser/skin/devtools/orion-breakpoint.png");
39}