From 734f1ced98de3dd5c5278ed75de1eee1025b685e Mon Sep 17 00:00:00 2001
From: Kraken161 <66274761+malezjaa@users.noreply.github.com>
Date: Fri, 7 Jul 2023 02:11:41 +0200
Subject: [PATCH] fix

---
 dev/arktype.io/src/css/custom.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev/arktype.io/src/css/custom.css b/dev/arktype.io/src/css/custom.css
index ced5de8b31..5415f162ae 100644
--- a/dev/arktype.io/src/css/custom.css
+++ b/dev/arktype.io/src/css/custom.css
@@ -105,14 +105,14 @@ header {
 
 .installationTabs {
     overflow: hidden;
-    height: 2.6rem;
+    height: 2.3rem;
     margin-top: -0.8rem;
     --ifm-tabs-color: #8a8a8a;
     border-radius: 10px;
 }
 
 .subTabs {
-    height: 2.4rem;
+    height: 2.3rem;
     margin-top: -1.2rem;
     --ifm-tabs-color: #8a8a8a;
 }