ASCII text
1
/* Looking Glass */
2
// Dialog
4
#LookingGlassDialog {
5
spacing: 0;
6
padding: 0;
7
border: 0;
8
border-radius: $corner-radius;
9
box-shadow: $shadow-4;
10
background-color: $surface;
11
color: $on-surface;
12
& > #Toolbar {
14
padding: 0 8px;
15
border: 0;
16
border-radius: 0;
17
box-shadow: inset 0 -1px divider($on-surface);
18
background-color: rgba($surface, .01);
19
}
20
.labels {
22
spacing: 0;
23
}
24
.notebook-tab {
26
-natural-hpadding: 12px;
27
-minimum-hpadding: 6px;
28
transition-duration: $duration;
29
min-height: $medium-size;
30
padding-left: 16px * 2;
31
padding-right: 16px * 2;
32
border: 0;
33
color: hint($on-surface);
34
font-weight: bold;
35
&:hover {
37
background-color: overlay("hover", $on-surface);
38
color: hint($on-surface);
39
text-shadow: none;
40
}
41
&:active {
43
transition-duration: $duration-ripple;
44
background-color: overlay("pressed", $on-surface);
45
}
46
&:selected {
48
border: 0;
49
box-shadow: inset 0 -2px $primary;
50
background-color: rgba($surface, .01);
51
color: $on-surface;
52
text-shadow: none;
53
}
54
}
55
StBoxLayout#EvalBox {
57
padding: 8px;
58
spacing: 4px;
59
}
60
StBoxLayout#ResultsArea {
62
spacing: 4px;
63
}
64
}
65
.lg-dialog {
67
StEntry {
68
@extend %entry;
69
}
70
.shell-link {
72
&,
73
&:hover,
74
&:active {
75
color: $primary;
76
}
77
}
78
}
79
.lg-completions-text {
81
font-size: 1em;
82
font-style: italic;
83
}
84
.lg-obj-inspector-title {
86
spacing: 4px;
87
}
88
.lg-obj-inspector-button {
90
@extend %button;
91
&,
93
&:hover {
94
border: 0;
95
}
96
}
97
// Windows
99
#Windows {
100
padding: 8px;
101
}
102
// Extensions
104
#lookingGlassExtensions {
105
padding: 8px;
106
}
107
.lg-extensions-list {
109
padding: 0;
110
spacing: 6px;
111
}
112
.lg-extension {
114
padding: 4px;
115
border: 0;
116
border-radius: 0;
117
background-color: transparent;
118
}
119
.lg-extension-name {
121
@include type(headline6);
122
}
123
.lg-extension-meta {
125
spacing: 6px;
126
}
127
// Inspector
129
#LookingGlassPropertyInspector {
130
padding: 6px;
131
border: 0;
132
border-radius: $corner-radius;
133
box-shadow: $shadow-4;
134
background-color: $surface;
135
color: $on-surface;
136
}
137