From 8aa31a14835e7e6e1f2e5c21e8deb5e7ef907146 Mon Sep 17 00:00:00 2001
From: Simon Gardling <titaniumtown@gmail.com>
Date: Wed, 18 May 2022 01:44:31 -0400
Subject: [PATCH] tweak sizes

---
 src/data.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/data.rs b/src/data.rs
index 73e12e4..767c5bc 100644
--- a/src/data.rs
+++ b/src/data.rs
@@ -23,6 +23,7 @@ pub struct TextDataRaw {
 impl TextDataRaw {
 	#[allow(dead_code)]
 	fn into_rich(self) -> TextData {
+		const SIZE: f32 = 14.0;
 		use egui::RichText;
 		TextData {
 			help_expr: RichText::from(self.help_expr),
@@ -30,8 +31,8 @@ impl TextDataRaw {
 			help_panel: RichText::from(self.help_panel),
 			help_function: RichText::from(self.help_function),
 			help_other: RichText::from(self.help_other),
-			license_info: RichText::from(self.license_info),
-			welcome: RichText::from(self.welcome).size(16.0),
+			license_info: RichText::from(self.license_info).size(SIZE * 0.95),
+			welcome: RichText::from(self.welcome).size(SIZE + 2.0),
 		}
 	}
 }