File: InspectorOverlayPage.css

package info (click to toggle)
webkitgtk 2.4.9-1~deb8u1
  • links: PTS, VCS
  • area: main
  • in suites: jessie
  • size: 120,620 kB
  • ctags: 192,221
  • sloc: cpp: 1,034,319; ansic: 19,255; sh: 11,153; perl: 10,747; ruby: 8,592; asm: 4,378; python: 4,132; yacc: 2,072; lex: 350; makefile: 215; xml: 63
file content (93 lines) | stat: -rw-r--r-- 1,488 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
body {
    margin: 0;
    padding: 0;
}

body.platform-mac {
    font-size: 11px;
    font-family: Menlo, Monaco;
}

body.platform-windows {
    font-size: 12px;
    font-family: Consolas, Lucida Console;
}

body.platform-linux {
    font-size: 11px;
    font-family: dejavu sans mono;
}

.fill {
    position: absolute;
    top: 0;
    right: 0;
    bottom: 0;
    left: 0;
}

.dimmed {
    background-color: rgba(0, 0, 0, 0.31);
}

.message-line {
    margin: 10px 0;
    text-align: center;
}

.message-box {
    background-color: rgb(255, 255, 194);
    border: 1px solid rgb(128, 128, 128);
    display: inline-block;
    padding: 2px 4px;
}

.px {
    color: rgb(128, 128, 128);
}

.element-title-container {
    position: absolute;
    z-index: 10;
}

.element-title {
    position: absolute;
}

.tag-name {
    /* Keep this in sync with view-source.css (.webkit-html-tag-name) */
    color: rgb(136, 18, 128);
}

.node-id {
    /* Keep this in sync with view-source.css (.webkit-html-attribute-value) */
    color: rgb(26, 26, 166);
}

.class-name {
    /* Keep this in sync with view-source.css (.webkit-html-attribute-name) */
    color: rgb(153, 69, 0);
}

.css-property {
    color: rgb(170, 13, 145);
}

#right-gutter {
    display: none;
    right: 0;
    top: 0;
    bottom: 0;
    position: absolute;
    background-color: darkgray;
}

#bottom-gutter {
    display: none;
    left: 0;
    right: 0;
    bottom: 0;
    position: absolute;
    background-color: darkgray;
}