From 114fe5ad78a73d817621e84851990ee99f107c69 Mon Sep 17 00:00:00 2001
From: Erik Price <github@erikprice.net>
Date: Sat, 7 Oct 2023 21:20:16 -0700
Subject: [PATCH] Settings panel tweaks

---
 projects/hotpot/src/web/index.html | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/projects/hotpot/src/web/index.html b/projects/hotpot/src/web/index.html
index ea92398..402161c 100644
--- a/projects/hotpot/src/web/index.html
+++ b/projects/hotpot/src/web/index.html
@@ -60,8 +60,7 @@ <h1>Settings</h1>
     }
 
     h1 {
-        font-size: 1em;
-        text-align: center;
+        font-size: 1.2em;
     }
 
     label {
@@ -72,20 +71,19 @@ <h1>Settings</h1>
     select, input {
         width: 50%;
         font-family: system-ui, sans-serif;
-        border-radius: 10%;
     }
 
     #map-overlay {
         position: absolute;
         top: 0;
         left: 0;
-        padding: 1em;
-        background-color: rgba(0, 0, 0, 0.5);
+        padding: 0.5em 1em;
+        margin: 1em;
+        background-color: rgba(0, 0, 0, 0.75);
         color: white;
-    }
-
-    #map-overlay > div {
-        width: 200px;
+        border-radius: 2.5%;
+        border: 1px solid white;
+        width: 25ch;
     }
 
     #map-overlay > div + div {