debugger/src/components/PrimaryPanes/Outline.css at v32 · JavaScript-Developer-VSM/debugger · GitHub

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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at <http://mozilla.org/MPL/2.0/>. */

.outline {
  overflow-y: hidden;
}

.outline > div {
  width: 100%;
  position: relative;
}

.outline-pane-info {
  width: 100%;
  font-style: italic;
  text-align: center;
  padding: 0.5em;
  user-select: none;
  font-size: 12px;
  overflow: hidden;
}

.outline-list {
  list-style-type: none;
  padding: 10px 0;
  margin: 0;
  font-family: var(--monospace-font-family);
  overflow: auto;
  position: absolute;
  top: 0;
  right: 0;
  left: 0;
  bottom: 25px;
}

.outline-list__class-list {
  list-style: none;
  margin: 0;
  padding: 0;
}

.outline-list__class-list .function-signature .function-name {
  color: var(--theme-highlight-green);
}

.outline-list .function-signature .paren {
  color: inherit;
}

.outline-list h2 {
  font-weight: normal;
  font-size: 1em;
  margin: 10px 0 10px 10px;
  color: var(--blue-55);
}

.outline-list h2:hover {
  background: var(--theme-toolbar-background-hover);
}

.theme-dark .outline-list h2 {
  color: var(--theme-highlight-blue);
}

.outline-list h2 .keyword {
  color: var(--theme-highlight-red);
}

.outline-list__element {
  padding: 3px 10px 3px 10px;
  cursor: default;
  white-space: nowrap;
}

.outline-list__element-icon {
  padding-right: 0.4rem;
  padding-left: 1rem;
}

.outline-list__element:hover {
  background: var(--theme-toolbar-background-hover);
}

.outline-footer {
  background: var(--theme-body-background);
  border-top: 1px solid var(--theme-splitter-color);
  position: absolute;
  bottom: 0;
  left: 0;
  right: 0;
  opacity: 1;
  z-index: 1;
  -moz-user-select: none;
  user-select: none;
  height: 25px;
  box-sizing: border-box;
  display: flex;
}

.theme-dark .outline-footer button {
    color: var(--theme-body-color);
}

.outline-footer button.active {
  background: var(--theme-highlight-blue);
  color: #ffffff;
}