bigger microphone buttons

app.py

@@ -125,6 +125,15 @@ def infer_from_c(prompt, c_name):
 css = """
 #col-container {max-width: 780px; margin-left: auto; margin-right: auto;}
 a {text-decoration-line: underline; font-weight: 600;}
+.mic-wrap > button {
+    width: 100%;
+    height: 60px;
+    font-size: 1.5em!important;
+}
+span.record-icon > span.dot.svelte-1thnwz {
+    width: 20px!important;
+    height: 20px!important;
+}
 .animate-spin {
   animation: spin 1s linear infinite;
 }