deploy: dfc11bb

pointfree-wasm · Oct 12, 2024 · a8a6141 · a8a6141
1 parent 5976672
commit a8a6141
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -56,14 +56,15 @@
         color: #d5c5ff;
       }
 
-      @media (pointer:coarse) {
+      @media (pointer:fine) {
 
         h1 {
           font-size: 300%;
         }
 
         #input, #output {
-          width: max(100vw, 35rem);
+          margin-top: 2rem;
+          width: max(95vw, 35rem);
           font-size: 200%;
           padding: 2rem 1.5rem;
           box-sizing: border-box;
@@ -72,7 +73,7 @@
         #input-process {
           font-size: 200%;
           padding: 2rem !important;
-          margin: 2rem 0;
+          margin: 3rem 0 1rem 0;
         }
 
       }