Web styling

web/.gitignore

@@ -1,4 +1,5 @@
 *.wasm
+.vite
 
 # Logs
 logs

web/src/Run.tsx

@@ -76,7 +76,7 @@ spec:
 
     return (
         <div>
-            <div style={{color: "#4e4e4e"}}>Output format</div>
+            <div style={{color: "#4e4e4e", fontSize: 12}}>Output format</div>
                 <div style={{ display: "flex", gap: 2, alignItems: "center" }}>
                     {Object.entries(FormatNames).map(([f, name]) => <OutputFormatButton $selected={format == f} key={f} onClick={() => setFormat(f as Format)}>{name}</OutputFormatButton>)}
                 </div>
@@ -118,6 +118,11 @@ const OutputFormatButton = styled.button<{ $selected: boolean; }>`
     background: ${props => props.$selected ? "#c172a9" : "#474747"};
     color: ${props => props.$selected ? "white" : "white"};
     border-radius: 4px;
+    padding: 6px 10px;
+    border: 0;
+    outline-offset: 2px;
+    cursor: pointer;
+    font-size: 14px;
 `
 
 const TermContainer = styled.div`

web/src/index.css

@@ -3,10 +3,6 @@
   line-height: 1.5;
   font-weight: 400;
 
-  color-scheme: light dark;
-  color: rgba(255, 255, 255, 0.87);
-  background-color: #242424;
-
   font-synthesis: none;
   text-rendering: optimizeLegibility;
   -webkit-font-smoothing: antialiased;
@@ -20,49 +16,4 @@ a {
 }
 a:hover {
   color: #535bf2;
-}
-
-body {
-  margin: 0;
-  display: flex;
-  place-items: center;
-  min-width: 320px;
-  min-height: 100vh;
-}
-
-h1 {
-  font-size: 3.2em;
-  line-height: 1.1;
-}
-
-button {
-  border-radius: 8px;
-  border: 1px solid transparent;
-  padding: 0.6em 1.2em;
-  font-size: 1em;
-  font-weight: 500;
-  font-family: inherit;
-  background-color: #1a1a1a;
-  cursor: pointer;
-  transition: border-color 0.25s;
-}
-button:hover {
-  border-color: #646cff;
-}
-button:focus,
-button:focus-visible {
-  outline: 4px auto -webkit-focus-ring-color;
-}
-
-@media (prefers-color-scheme: light) {
-  :root {
-    color: #213547;
-    background-color: #ffffff;
-  }
-  a:hover {
-    color: #747bff;
-  }
-  button {
-    background-color: #f9f9f9;
-  }
-}
+}