From 61cdb0ef85f11f5bd4d3f977192eccbd3c7a3ad3 Mon Sep 17 00:00:00 2001
From: James Haywood <jameshaywood@fastmail.com>
Date: Thu, 25 Apr 2024 15:16:52 -0400
Subject: [PATCH] Correct from source install instructions

---
 README.md        | 2 +-
 src/ui/popups.rs | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 51ca6c9..d499fb5 100644
--- a/README.md
+++ b/README.md
@@ -36,7 +36,7 @@ Dependencies:
 
 Just use `cargo install`, and Deduct will be compiled and added to your `PATH`.
 ```sh
-cargo install --locked --git https://github.com/Colonial-Dev/deduct --branch master
+cargo install --locked --git https://github.com/Colonial-Dev/deduct deduct
 ```
 
 ## Getting Started
diff --git a/src/ui/popups.rs b/src/ui/popups.rs
index de8c99b..697a0b5 100644
--- a/src/ui/popups.rs
+++ b/src/ui/popups.rs
@@ -146,12 +146,14 @@ impl Widget for &mut NewProof {
                     .hint_text("Premises...")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
+                    .margin(Margin::symmetric(0.0, 0.0))
                     .show(ui);
 
                 let c = TextEdit::singleline(&mut self.conclusion)
                     .hint_text("Conclusion...")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
+                    .margin(Margin::symmetric(0.0, 0.0))
                     .show(ui);
 
                 if p