From 0ca4e75e2254998adcdec8f9a54875c49d52808c Mon Sep 17 00:00:00 2001
From: Christian Duerr <contact@christianduerr.com>
Date: Sat, 28 Oct 2023 06:57:18 +0200
Subject: [PATCH] Fix button size

This should hopefully make it much more difficult to miss any of the
buttons.

Closes #12.
---
 gtk/src/main.rs | 3 +++
 gtk/style.css   | 5 +++++
 2 files changed, 8 insertions(+)

diff --git a/gtk/src/main.rs b/gtk/src/main.rs
index 2db3e39..7bb77b1 100644
--- 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
index 0d1e04a..170f093 100644
--- 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;
 }