pinokiod 3.24.0 → 3.25.0

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.
@@ -0,0 +1,233 @@
1
+ <html>
2
+ <head>
3
+ <meta charset="UTF-8">
4
+ <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1" />
5
+ <link href="/xterm.min.css" rel="stylesheet" />
6
+ <link href="/css/fontawesome.min.css" rel="stylesheet">
7
+ <link href="/css/solid.min.css" rel="stylesheet">
8
+ <link href="/css/regular.min.css" rel="stylesheet">
9
+ <link href="/css/brands.min.css" rel="stylesheet">
10
+ <link href="/markdown.css" rel="stylesheet"/>
11
+ <link href="/noty.css" rel="stylesheet"/>
12
+ <link href="/style.css" rel="stylesheet"/>
13
+ <% if (agent === "electron") { %>
14
+ <link href="/electron.css" rel="stylesheet"/>
15
+ <% } %>
16
+ <style>
17
+ body.frozen {
18
+ display: flex;
19
+ flex-direction: column;
20
+ height: 100%;
21
+ }
22
+ #table > table {
23
+ border-left: 2px solid black;
24
+ padding-left: 5px;
25
+ margin: 10px 0;
26
+ }
27
+ .highlight {
28
+ background: yellow;
29
+ width: 100px;
30
+ }
31
+ th {
32
+ background: rgba(0,0,0,0.1);
33
+ padding: 10px;
34
+ font-size: 12px;
35
+ }
36
+ td {
37
+ font-size: 12px;
38
+ padding: 10px;
39
+ }
40
+ td.val {
41
+ background: rgba(0,0,0,0.06);
42
+ }
43
+ td.key {
44
+ background: rgba(0,0,0,0.1);
45
+ }
46
+ .button {
47
+ cursor: pointer;
48
+ background: rgba(0,0,0,0.8);
49
+ color: white;
50
+ padding: 5px 10px;
51
+ border-radius: 4px;
52
+ }
53
+ .button:hover {
54
+
55
+ }
56
+ main {
57
+ width: 100%;
58
+ box-sizing: border-box;
59
+ max-width: 600px;
60
+ padding: 20px;
61
+ margin: 0 auto;
62
+ }
63
+
64
+ header .btn {
65
+ font-family: Sans-serif;
66
+ display: block;
67
+ margin-left: 10px;
68
+ font-style: normal;
69
+ font-size: 12px;
70
+ font-weight: normal;
71
+ padding: 5px 10px;
72
+ }
73
+ .disabled {
74
+ opacity: 0.7;
75
+ }
76
+ body.dark .env-item input[type=text] {
77
+ background: white;
78
+ }
79
+ .env-item input[type=text] {
80
+ width: 100%;
81
+ padding: 10px;
82
+ box-sizing: border-box;
83
+ border: none;
84
+ background: rgba(0,0,100, 0.1);
85
+ }
86
+ body.dark .env-item label {
87
+ color: cornflowerblue;
88
+ }
89
+ .env-item label {
90
+ color: royalblue;
91
+ display: block;
92
+ margin-bottom: 5px;
93
+ font-weight: bold;
94
+ font-size: 18px;
95
+ }
96
+ .env-item.highlighted {
97
+ border: 5px solid red;
98
+ }
99
+ .env-item {
100
+ /*
101
+ padding-top: 10px;
102
+ padding-bottom: 30px;
103
+ */
104
+ padding: 10px;
105
+ margin-bottom: 20px;
106
+ }
107
+ body.dark .comment {
108
+ border-left: 2px solid white;
109
+ }
110
+ .comment {
111
+ opacity: 0.8;
112
+ border-left: 2px solid black;
113
+ padding-left: 10px;
114
+ }
115
+ body.dark #save {
116
+ background: rgba(255,255,255,0.06);
117
+ }
118
+ #save {
119
+ width: 200px;
120
+ border-radius: 50px;
121
+ display: flex;
122
+ justify-content: center;
123
+ align-items: center;
124
+ font-size: 14px;
125
+ font-weight: bold;
126
+ }
127
+ a#customize {
128
+ text-decoration: underline;
129
+ cursor: pointer;
130
+ }
131
+ .e {
132
+ padding: 10px 0;
133
+ }
134
+ #editor {
135
+ padding: 20px 0;
136
+ }
137
+ .center {
138
+ display: flex;
139
+ align-items: center;
140
+ justify-content: center;
141
+ }
142
+ body {
143
+ display: block;
144
+ }
145
+ .card {
146
+ text-align: center;
147
+ /*
148
+ display: flex;
149
+ */
150
+ align-items: center;
151
+ box-sizing: border-box;
152
+ display: flex;
153
+ flex-direction: column;
154
+ gap: 15px;
155
+ }
156
+ .card img {
157
+ width: 100px;
158
+ border-radius: 10px;
159
+ }
160
+ .card .description {
161
+ opacity: 0.8;
162
+ }
163
+ .card .title {
164
+ font-weight: bold;
165
+ font-size: 20px;
166
+ }
167
+ .card .col {
168
+ padding-left: 10px;
169
+ }
170
+ h1 {
171
+ font-size: 50px;
172
+ padding-bottom: 20px;
173
+ }
174
+ footer {
175
+ background: none;
176
+ padding: 0;
177
+ text-align: right;
178
+ display: flex;
179
+ margin: 10px 0 20px 0;
180
+ }
181
+ footer .btn {
182
+ margin-left: 10px;
183
+ display: inline-block;
184
+ -webkit-appearance: button;
185
+ -moz-appearance: button;
186
+ appearance: button;
187
+
188
+ }
189
+ footer .btn.go-home {
190
+ margin-left: 0px;
191
+ }
192
+ .btn.home-button {
193
+ background: none !important;
194
+ margin: 0 !important;
195
+ font-size: 16px !important;
196
+ }
197
+ #editor {
198
+ height: auto;
199
+ }
200
+ .env-title {
201
+ font-weight: bold;
202
+ margin-bottom: 5px;
203
+ }
204
+ .env-description {
205
+ margin-bottom: 10px;
206
+ }
207
+ .warning {
208
+ padding: 10px;
209
+ margin: 10px 0 20px;
210
+ border-left: 5px solid rgba(0,0,0,0.1);
211
+ }
212
+ .warning a {
213
+ text-decoration: none;
214
+ color: royalblue;
215
+ }
216
+ </style>
217
+ </head>
218
+ <body class='<%=theme%> center' data-agent="<%=agent%>">
219
+ <main>
220
+ <div>
221
+ <div class='card'>
222
+ <img src="<%=image%>">
223
+ <div class='title'><%=name%></div>
224
+ <% if (link) { %>
225
+ <a href="<%=link%>" id='save' class='btn'>
226
+ <span class='save'><i class="fa-solid fa-play"></i> Launch</span>
227
+ </a>
228
+ <% } %>
229
+ </div>
230
+ </div>
231
+ </main>
232
+ </body>
233
+ </html>