From 6a22ddeb1e3d0fc88f78d89cf66ce33261fdc8d0 Mon Sep 17 00:00:00 2001
From: lmg-anon <139719567+lmg-anon@users.noreply.github.com>
Date: Sat, 31 Aug 2024 13:22:56 -0300
Subject: [PATCH] Apply multiplier to border size and padding

---
 mikupad.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/mikupad.html b/mikupad.html
index ffc26b7..cf4d463 100644
--- a/mikupad.html
+++ b/mikupad.html
@@ -339,7 +339,7 @@
 html.nockoffAI #probs {
 	background: var(--color-base-10);
 	border: 1px solid var(--token-prob-box);
-	border-radius: 4px;
+	border-radius: calc(4px * var(--font-size-multiplier));
 	box-shadow: none;
 }
 #probs > button {
@@ -347,7 +347,7 @@
 	background: transparent;
 	color: var(--color-light);
 	border-radius: 0;
-	padding: 4px 8px;
+	padding: calc(4px * var(--font-size-multiplier)) calc(8px * var(--font-size-multiplier));
 	display: flex;
 	flex-direction: column;
 	flex: none;
@@ -357,12 +357,12 @@
 	background: var(--color-base-40);
 }
 #probs > button:first-child {
-	border-radius: 5px 0 0 5px;
-	padding-left: 6px;
+	border-radius: calc(5px * var(--font-size-multiplier)) 0 0 calc(5px * var(--font-size-multiplier));
+	padding-left: calc(6px * var(--font-size-multiplier));
 }
 #probs > button:last-child {
-	border-radius: 0 5px 5px 0;
-	padding-right: 6px;
+	border-radius: 0 calc(5px * var(--font-size-multiplier)) calc(5px * var(--font-size-multiplier)) 0;
+	padding-right: calc(6px * var(--font-size-multiplier));
 }
 #probs > button:hover {
 	background: var(--color-base-40);