Fix button size

This should hopefully make it much more difficult to miss any of the buttons. Closes #12.
catacombing · Oct 28, 2023 · 0ca4e75 · 0ca4e75
1 parent 294a21a
commit 0ca4e75
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/gtk/src/main.rs b/gtk/src/main.rs
@@ -244,6 +244,9 @@ impl Overview {
         // Button to create new alarms.
         let new_button = Button::with_label("Add Alarm");
         new_button.set_margin_top(25);
+        new_button.set_margin_end(25);
+        new_button.set_margin_bottom(25);
+        new_button.set_margin_start(25);
         container.append(&new_button);
 
         // Handle new alarm button press.

diff --git a/gtk/style.css b/gtk/style.css
@@ -2,6 +2,11 @@
     border-radius: 0;
 }
 
+button {
+    padding: 10px;
+    font-size: 1.1em;
+}
+
 .ringing-name {
     font-size: 2em;
 }