Update Python tools

2026-08-09 01:24:06 +00:00
parent 0549ed1b0d
commit b0c707d624
8 changed files with 365 additions and 26 deletions
@@ -97,6 +97,42 @@ button {
  padding: .4rem .7rem;
 }

+button:disabled {
+  cursor: wait;
+}
+
+.spinner {
+  border: .15em solid currentColor;
+  border-right-color: transparent;
+  border-radius: 50%;
+  display: none;
+  height: .75em;
+  margin-left: .35em;
+  vertical-align: -.05em;
+  width: .75em;
+}
+
+.is-waiting .spinner {
+  animation: spin .7s linear infinite;
+  display: inline-block;
+}
+
+.task-result {
+  margin: .5rem 0 0;
+}
+
+.task-result.succeeded {
+  color: #167c3a;
+}
+
+.task-result.failed {
+  color: #b00020;
+}
+
+@keyframes spin {
+  to { transform: rotate(360deg); }
+}
+
 dt {
  font-weight: 700;
 }