rework ui

html/ui/app.css

@@ -1,23 +1,37 @@
 
+.view-links > span {
+    margin-right: 1ex;
+    padding: 0.5ex;
+    border: 1pt solid;
+    border-radius: 1ex;
+    cursor: pointer;
+}
+
 .downloads {
-    display: flex;
-    align-content: stretch;
-}
-
-.downloads > * {
-    margin-left: 6pt;
-}
-.downloads > *:first-child {
+  & > * {
+    display: inline-block;
+    margin-left: 1ex;
+    margin-bottom: 1ex;
+    padding: 0.5ex;
+    border: 1px solid;
+    border-radius: 1ex;
+    cursor: pointer;
+  }
+  & > *:first-child {
     margin-left: 0;
+  }
+  & > .selected {
+    color: blue;
+  }
 }
 
-.downloads > div {
-    display: flex;
-    flex-flow: column;
-    max-height: 100pt;
-    overflow: auto;
+.download-links a {
+  margin-right: 1ex;
 }
 
-.cluster {
-    max-width: 50%;
+@media (prefers-color-scheme: dark) {
+  .downloads > .selected,
+  .view-links > .selected {
+    color: #31b0fa;
+  }
 }