From c7b6ffad0e910e75616ec0714be1ac4a45fa42f1 Mon Sep 17 00:00:00 2001
From: Rohan Eden <humroben@citypaine.com>
Date: Tue, 1 Apr 2025 12:43:12 +0000
Subject: [PATCH] Remove height due to inconsistent display in browser

Signed-off-by: Rohan Eden <rohan.eden@citypaine.com>
Reviewed-by: Jakub Jelen <jjelen@redhat.com>
---
 doc/that_style/that_style.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/that_style/that_style.css b/doc/that_style/that_style.css
index 846353ca..2dcee164 100644
--- a/doc/that_style/that_style.css
+++ b/doc/that_style/that_style.css
@@ -303,7 +303,6 @@ span.lineno {
   padding-right: 4px;
   text-align: right;
   color: black;
-  height: 100px;
   white-space: pre;
   border-right: 3px solid #1d7567;
   background-color: #323232; }