pinokiod 3.19.86 → 3.19.87
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.
- package/package.json +1 -1
- package/server/views/git.ejs +31 -1
package/package.json
CHANGED
package/server/views/git.ejs
CHANGED
|
@@ -24,7 +24,7 @@ body {
|
|
|
24
24
|
height: 100%;
|
|
25
25
|
}
|
|
26
26
|
aside {
|
|
27
|
-
|
|
27
|
+
width: 200px;
|
|
28
28
|
overflow: auto;
|
|
29
29
|
}
|
|
30
30
|
aside .item.selected {
|
|
@@ -93,6 +93,7 @@ body.dark .changes {
|
|
|
93
93
|
color: white;
|
|
94
94
|
}
|
|
95
95
|
.changes {
|
|
96
|
+
overflow: auto;
|
|
96
97
|
height: 100%;
|
|
97
98
|
flex-grow: 1;
|
|
98
99
|
}
|
|
@@ -207,6 +208,35 @@ body.dark .empty {
|
|
|
207
208
|
.flexible {
|
|
208
209
|
flex-grow: 1;
|
|
209
210
|
}
|
|
211
|
+
|
|
212
|
+
/* Firefox */
|
|
213
|
+
* {
|
|
214
|
+
scrollbar-width: thin;
|
|
215
|
+
scrollbar-color: rgba(0,0,0,0.2) transparent;
|
|
216
|
+
}
|
|
217
|
+
|
|
218
|
+
/* Chrome, Edge, and Safari */
|
|
219
|
+
*::-webkit-scrollbar {
|
|
220
|
+
width: 8px;
|
|
221
|
+
}
|
|
222
|
+
|
|
223
|
+
*::-webkit-scrollbar-track {
|
|
224
|
+
background: none;
|
|
225
|
+
}
|
|
226
|
+
|
|
227
|
+
*::-webkit-scrollbar-thumb {
|
|
228
|
+
background-color: rgba(0,0,0,0.2);
|
|
229
|
+
border-radius: 30px;
|
|
230
|
+
border: 7px solid rgba(0,0,0,0.2);
|
|
231
|
+
}
|
|
232
|
+
|
|
233
|
+
body.dark * {
|
|
234
|
+
scrollbar-color: rgba(255,255,255,0.3) transparent;
|
|
235
|
+
}
|
|
236
|
+
body.dark *::-webkit-scrollbar-thumb {
|
|
237
|
+
background-color: rgba(255,255,255,0.3);
|
|
238
|
+
border: 7px solid rgba(255,255,255,0.3);
|
|
239
|
+
}
|
|
210
240
|
</style>
|
|
211
241
|
</head>
|
|
212
242
|
<body class='<%=theme%>' data-platform="<%=platform%>" data-agent="<%=agent%>">
|