From 3b7bc1c0d59d63d544b08b6086ef957756f40fcf Mon Sep 17 00:00:00 2001
From: mirabilos <thorsten.glaser@teckids.org>
Date: Sat, 28 Jan 2023 18:24:00 +0100
Subject: [PATCH] quick hack to make the old pubmats build (in buster chroot)
 c.p.

(without this, some have extra whitespace before listings leading
to erroneous page breaks)
---
 teckids.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/teckids.sty b/teckids.sty
index 44ad353..14e13dc 100644
--- a/teckids.sty
+++ b/teckids.sty
@@ -314,7 +314,7 @@
 	language=python,
 	basicstyle=\ttfamily,
 	upquote=true,
-	aboveskip={1.5\baselineskip},
+	aboveskip={\smallskipamount},
 	columns=fixed,
 	showstringspaces=false,
 	extendedchars=true,
-- 
GitLab