Web Inspector [chromium]: toolbar border is missing on non-Mac in docked-to-bottom...
[WebKit-https.git] / Source / WebKit / chromium / src / js / devTools.css
1 .data-grid table {
2     line-height: 120%;
3 }
4
5 body.dock-to-bottom #toolbar {
6     cursor: default; /* overriden */
7 }
8
9 body.dock-to-bottom.platform-mac #toolbar {
10     border-top-color: white;
11 }
12
13 /* Chrome theme overrides */
14
15 body.platform-windows #toolbar, body.platform-windows.inactive #toolbar {
16     background-image: none;
17 }
18
19 body.undocked.platform-mac-leopard #toolbar {
20     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(175, 175, 175)), to(rgb(151, 151, 151))) !important;
21 }
22
23 body.undocked.platform-mac-leopard.inactive #toolbar {
24     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(221, 221, 221)), to(rgb(207, 207, 207))) !important;
25 }
26
27 body.undocked.platform-mac-snowleopard #toolbar {
28     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(189, 189, 189)), to(rgb(167, 167, 167))) !important;
29 }
30
31 body.undocked.platform-mac-snowleopard.inactive #toolbar {
32     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(228, 228, 228)), to(rgb(216, 216, 216))) !important;
33 }
34
35 body.undocked.platform-mac-mountain-lion #toolbar {
36     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(208, 208, 208)), to(rgb(200, 200, 200))) !important;
37 }
38
39 body.undocked.platform-mac-mountain-lion.inactive #toolbar {
40     background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(238, 238, 238)), to(rgb(224, 224, 224))) !important;
41 }
42
43 body.platform-linux #scripts-files {
44     font-size: 11px;
45     font-weight: normal;
46     line-height: 12px;
47 }
48
49 .console-group-messages .section > .header {
50     padding: 0 8px 0 0;
51     background-image: none;
52     border: none;
53     min-height: 0;
54 }
55
56 #resources-filter {
57     background: -webkit-gradient(linear, left top, left bottom, from(rgb(233, 233, 233)), to(rgb(233, 233, 233)));
58 }
59
60 .crumbs .crumb {
61     -webkit-border-image: url(Images/segmentChromium.png) 0 12 0 2;
62     margin-right: -3px;
63     padding-left: 6px;
64 }
65
66 .crumbs .crumb.selected {
67     -webkit-border-image: url(Images/segmentSelectedChromium.png) 0 12 0 2;
68     color: white;
69     text-shadow: rgba(255, 255, 255, 0.5) 0 0px 0;
70 }
71
72 .crumbs .crumb.selected:hover {
73     -webkit-border-image: url(Images/segmentSelectedChromium.png) 0 12 0 2;
74 }
75
76 .crumbs .crumb.selected.end, .crumbs .crumb.selected.end:hover {
77     -webkit-border-image: url(Images/segmentSelectedEndChromium.png) 0 2 0 2;
78 }
79
80 .crumbs .crumb:hover {
81     -webkit-border-image: url(Images/segmentHoverChromium.png) 0 12 0 2;
82 }
83
84 .crumbs .crumb.end:hover {
85     -webkit-border-image: url(Images/segmentHoverEndChromium.png) 0 2 0 2;
86 }
87
88 .status-bar {
89     background-image: -webkit-linear-gradient(rgb(243,243,243), rgb(235,235,235));
90 }
91
92 .scope-bar li.selected {
93     -webkit-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0.0);
94 }
95
96 .scope-bar li:active {
97     -webkit-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0.0);
98 }
99
100 .timeline-category-statusbar-item input {
101     vertical-align: middle;
102 }