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; }