@jsenv/core 23.7.0 → 23.8.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,188 +1,196 @@
1
- @import "./animation/animation.css";
2
- @import "./execution/execution.css";
3
- @import "./compilation/compilation.css";
4
- @import "./focus/focus.css";
5
- @import "./eventsource/eventsource.css";
6
- @import "./responsive/overflow-menu.css";
7
- @import "./settings/settings.css";
8
- @import "./theme/light-theme.css";
9
- @import "./tooltip/tooltip.css";
10
- @import "./variant/variant.css";
11
-
12
- * {
13
- box-sizing: border-box;
14
- }
15
-
16
- html,
17
- body {
18
- margin: 0;
19
- padding: 0;
20
- }
21
-
22
- html {
23
- font-family: arial, sans;
24
- }
25
-
26
- /* global utils */
27
- [data-force-hide] {
28
- display: none !important;
29
- }
30
-
31
- #toolbar-overlay {
32
- position: fixed;
33
- left: 0;
34
- top: 0;
35
- width: 100%;
36
- height: 100%;
37
- filter: url(#better-blur);
38
- background-color: rgba(0, 0, 0, 0.2);
39
- }
40
-
41
- #toolbar {
42
- position: fixed;
43
- bottom: 0;
44
- height: 40px;
45
- width: 100%;
46
- background: #404040;
47
- }
48
-
49
- #toolbar-wrapper {
50
- display: table;
51
- width: 100%;
52
- height: 100%;
53
- }
54
-
55
- #toolbar-wrapper > * {
56
- display: table-cell;
57
- vertical-align: middle;
58
- }
59
-
60
- #toolbar button {
61
- background: none;
62
- border: none;
63
- height: 100%;
64
- padding: 0;
65
- }
66
-
67
- #toolbar button:hover {
68
- cursor: pointer;
69
- }
70
-
71
- #toolbar a:hover {
72
- cursor: pointer;
73
- }
74
-
75
- /* file name input & indicators */
76
- #file {
77
- max-width: 40%;
78
- padding: 0 1.2em;
79
- }
80
-
81
- #file-input {
82
- width: 100%;
83
- padding: 0px;
84
- font-family: monospace;
85
- font-size: 15px;
86
- color: #cecece;
87
- background: transparent;
88
- border: transparent;
89
- display: inline-block;
90
- overflow: hidden;
91
- text-overflow: ellipsis;
92
- }
93
-
94
- #file-input:focus {
95
- border-bottom: 1px solid grey;
96
- }
97
-
98
- /* file and settings icons */
99
- #fileIconSvg,
100
- .settings-icon {
101
- width: 20px;
102
- }
103
-
104
- .iconToolbar {
105
- height: 40px;
106
- fill: #cecece;
107
- color: #cecece;
108
- }
109
-
110
- .iconToolbar:hover {
111
- fill: #909090 !important;
112
- }
113
-
114
- .toolbar-icon-wrapper {
115
- height: 100%;
116
- text-align: center;
117
- width: 40px;
118
- display: inline-block;
119
- }
120
-
121
- #file-list-link[data-active] a {
122
- background: #1f262c;
123
- }
124
-
125
- #file[data-active] {
126
- background: rgba(31, 38, 44, 0.72);
127
- }
128
-
129
- #settings[data-active] button {
130
- background: #030713;
131
- }
132
-
133
- /* close icon */
134
- #crossIconSvg {
135
- width: 18px;
136
- }
137
-
138
- /* re-open toolbar-trigger */
139
- #toolbar-trigger {
140
- display: block;
141
- overflow: hidden;
142
- position: absolute;
143
- bottom: -32px;
144
- right: 20px;
145
- height: 40px;
146
- width: 40px;
147
- padding: 0;
148
- border-radius: 5px 5px 0 0;
149
- border: 1px solid rgba(0, 0, 0, 0.33);
150
- border-bottom: none;
151
- box-shadow: 0px 0px 6px 2px rgba(0, 0, 0, 0.46);
152
- background: transparent;
153
- }
154
-
155
- #toolbar-trigger[data-animate] {
156
- transition: 600ms;
157
- }
158
-
159
- #toolbar-trigger #jsenvLogoSvg {
160
- width: 35px;
161
- height: 35px;
162
- opacity: 0;
163
- transition: 600ms;
164
- }
165
-
166
- html[data-toolbar-visible] #toolbar-trigger {
167
- display: none;
168
- }
169
-
170
- #toolbar-trigger:hover {
171
- cursor: pointer;
172
- }
173
-
174
- #toolbar-trigger[data-expanded] {
175
- bottom: 0;
176
- }
177
-
178
- #toolbar-trigger[data-expanded] #jsenvLogoSvg {
179
- opacity: 1;
180
- }
181
-
182
- /* #jsenvLogo {
183
- transition: 600ms;
184
- } */
185
-
186
- #toolbar a {
187
- color: inherit;
188
- }
1
+ @import "./execution/execution.css";
2
+ @import "./compilation/compilation.css";
3
+ @import "./focus/focus.css";
4
+ @import "./eventsource/eventsource.css";
5
+ @import "./responsive/overflow-menu.css";
6
+ @import "./settings/settings.css";
7
+ @import "./theme/light-theme.css";
8
+ @import "./tooltip/tooltip.css";
9
+
10
+ html[data-animation-disabled] * {
11
+ transition: none !important;
12
+ animation-duration: 0s !important;
13
+ animation-delay: 0s !important;
14
+ }
15
+
16
+ [data-when] {
17
+ display: none !important;
18
+ }
19
+
20
+ * {
21
+ box-sizing: border-box;
22
+ }
23
+
24
+ html,
25
+ body {
26
+ margin: 0;
27
+ padding: 0;
28
+ }
29
+
30
+ html {
31
+ font-family: arial, sans;
32
+ }
33
+
34
+ /* global utils */
35
+ [data-force-hide] {
36
+ display: none !important;
37
+ }
38
+
39
+ #toolbar-overlay {
40
+ position: fixed;
41
+ left: 0;
42
+ top: 0;
43
+ width: 100%;
44
+ height: 100%;
45
+ filter: url(#better-blur);
46
+ background-color: rgba(0, 0, 0, 0.2);
47
+ }
48
+
49
+ #toolbar {
50
+ position: fixed;
51
+ bottom: 0;
52
+ height: 40px;
53
+ width: 100%;
54
+ background: #404040;
55
+ }
56
+
57
+ #toolbar-wrapper {
58
+ display: table;
59
+ width: 100%;
60
+ height: 100%;
61
+ }
62
+
63
+ #toolbar-wrapper > * {
64
+ display: table-cell;
65
+ vertical-align: middle;
66
+ }
67
+
68
+ #toolbar button {
69
+ background: none;
70
+ border: none;
71
+ height: 100%;
72
+ padding: 0;
73
+ }
74
+
75
+ #toolbar button:hover {
76
+ cursor: pointer;
77
+ }
78
+
79
+ #toolbar a:hover {
80
+ cursor: pointer;
81
+ }
82
+
83
+ /* file name input & indicators */
84
+ #file {
85
+ max-width: 40%;
86
+ padding: 0 1.2em;
87
+ }
88
+
89
+ #file-input {
90
+ width: 100%;
91
+ padding: 0px;
92
+ font-family: monospace;
93
+ font-size: 15px;
94
+ color: #cecece;
95
+ background: transparent;
96
+ border: transparent;
97
+ display: inline-block;
98
+ overflow: hidden;
99
+ text-overflow: ellipsis;
100
+ }
101
+
102
+ #file-input:focus {
103
+ border-bottom: 1px solid grey;
104
+ }
105
+
106
+ /* file and settings icons */
107
+ #fileIconSvg,
108
+ .settings-icon {
109
+ width: 20px;
110
+ }
111
+
112
+ .iconToolbar {
113
+ height: 40px;
114
+ fill: #cecece;
115
+ color: #cecece;
116
+ }
117
+
118
+ .iconToolbar:hover {
119
+ fill: #909090 !important;
120
+ }
121
+
122
+ .toolbar-icon-wrapper {
123
+ height: 100%;
124
+ text-align: center;
125
+ width: 40px;
126
+ display: inline-block;
127
+ }
128
+
129
+ #file-list-link[data-active] a {
130
+ background: #1f262c;
131
+ }
132
+
133
+ #file[data-active] {
134
+ background: rgba(31, 38, 44, 0.72);
135
+ }
136
+
137
+ #settings[data-active] button {
138
+ background: #030713;
139
+ }
140
+
141
+ /* close icon */
142
+ #crossIconSvg {
143
+ width: 18px;
144
+ }
145
+
146
+ /* re-open toolbar-trigger */
147
+ #toolbar-trigger {
148
+ display: block;
149
+ overflow: hidden;
150
+ position: absolute;
151
+ bottom: -32px;
152
+ right: 20px;
153
+ height: 40px;
154
+ width: 40px;
155
+ padding: 0;
156
+ border-radius: 5px 5px 0 0;
157
+ border: 1px solid rgba(0, 0, 0, 0.33);
158
+ border-bottom: none;
159
+ box-shadow: 0px 0px 6px 2px rgba(0, 0, 0, 0.46);
160
+ background: transparent;
161
+ }
162
+
163
+ #toolbar-trigger[data-animate] {
164
+ transition: 600ms;
165
+ }
166
+
167
+ #toolbar-trigger #jsenvLogoSvg {
168
+ width: 35px;
169
+ height: 35px;
170
+ opacity: 0;
171
+ transition: 600ms;
172
+ }
173
+
174
+ html[data-toolbar-visible] #toolbar-trigger {
175
+ display: none;
176
+ }
177
+
178
+ #toolbar-trigger:hover {
179
+ cursor: pointer;
180
+ }
181
+
182
+ #toolbar-trigger[data-expanded] {
183
+ bottom: 0;
184
+ }
185
+
186
+ #toolbar-trigger[data-expanded] #jsenvLogoSvg {
187
+ opacity: 1;
188
+ }
189
+
190
+ /* #jsenvLogo {
191
+ transition: 600ms;
192
+ } */
193
+
194
+ #toolbar a {
195
+ color: inherit;
196
+ }