• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1/*
2 * Copyright (C) 2006 Apple Computer, Inc.  All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 * 1. Redistributions of source code must retain the above copyright
8 *    notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 *    notice, this list of conditions and the following disclaimer in the
11 *    documentation and/or other materials provided with the distribution.
12 *
13 * THIS SOFTWARE IS PROVIDED BY APPLE COMPUTER, INC. ``AS IS'' AND ANY
14 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE COMPUTER, INC. OR
17 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
20 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
22 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23 */
24
25body {
26    margin: 0
27}
28
29table {
30    width: 100%;
31    border-spacing: 0;
32    counter-reset: lines;
33    white-space: pre-wrap !important;
34    margin: 0;
35    word-break: break-word;
36    font-size: initial;
37    font-family: monospace;
38}
39
40td {
41    padding: 0 !important;
42    vertical-align: baseline
43}
44
45.webkit-line-gutter-backdrop, .webkit-line-number {
46    /* Keep this in sync with inspector.css (.webkit-line-gutter-backdrop) */
47    -webkit-box-sizing: border-box;
48    padding: 0 4px !important;
49    width: 31px;
50    background-color: rgb(240, 240, 240);
51    border-right: 1px solid rgb(187, 187, 187) !important;
52    -webkit-user-select: none;
53}
54
55.webkit-line-gutter-backdrop {
56    /* Keep this in sync with inspector.css (.webkit-line-gutter-backdrop) */
57    position: absolute;
58    z-index: -1;
59    left: 0;
60    top: 0;
61    height: 100%
62}
63
64.webkit-line-number {
65    text-align: right;
66    color: rgb(128, 128, 128);
67    word-break: normal;
68    white-space: nowrap;
69    font-size: 9px;
70    font-family: Helvetica
71}
72
73.webkit-line-number::before {
74    content: counter(lines);
75    counter-increment: lines;
76    -webkit-user-select: none
77}
78
79.webkit-line-content {
80    padding: 0 5px !important;
81}
82
83.webkit-html-tag {
84    /* Keep this in sync with inspector.css (.webkit-html-tag) */
85    color: rgb(136, 18, 128);
86}
87
88.webkit-html-attribute-name {
89    /* Keep this in sync with inspector.css (.webkit-html-attribute-name) */
90    color: rgb(153, 69, 0);
91}
92
93.webkit-html-attribute-value {
94    /* Keep this in sync with inspector.css (.webkit-html-attribute-value) */
95    color: rgb(26, 26, 166);
96}
97
98.webkit-html-external-link, .webkit-html-resource-link {
99    /* Keep this in sync with inspector.css (.webkit-html-external-link, .webkit-html-resource-link) */
100    color: #00e;
101}
102
103.webkit-html-external-link {
104    /* Keep this in sync with inspector.css (.webkit-html-external-link) */
105    text-decoration: none;
106}
107
108.webkit-html-external-link:hover {
109    /* Keep this in sync with inspector.css (.webkit-html-external-link:hover) */
110    text-decoration: underline;
111}
112
113.webkit-html-comment {
114    /* Keep this in sync with inspector.css (.webkit-html-comment) */
115    color: rgb(35, 110, 37);
116}
117
118.webkit-html-doctype {
119    /* Keep this in sync with inspector.css (.webkit-html-doctype) */
120    color: rgb(192, 192, 192);
121}
122
123.webkit-html-entity {
124    rgb(136, 18, 128);
125}
126
127.webkit-html-message-bubble {
128    -webkit-box-shadow: black 0px 2px 5px;
129    -webkit-border-radius: 9px;
130    -webkit-border-fit: lines;
131    min-height: 13px;
132    font-size: 9px;
133    font-family: Lucida Grande, sans-serif;
134    font-weight: bold;
135    margin: 6px 25px;
136    padding: 0 7px 1px;
137}
138
139.webkit-html-warning-message {
140    background-color: rgb(100%, 62%, 42%);
141    border: 2px solid rgb(100%, 52%, 21%);
142}
143
144.webkit-html-error-message {
145    background-color: rgb(100%, 42%, 42%);
146    border: 2px solid rgb(100%, 31%, 31%);
147}
148
149.webkit-html-message-line {
150    padding-left: 23px;
151    text-indent: -20px;
152}
153
154.webkit-html-message-icon {
155    position: relative;
156    top: 2px;
157    margin: 0 4px;
158}
159