From f42dcb7fa05bb4ccf44a024197fda16638bd7398 Mon Sep 17 00:00:00 2001 From: Lukas Tenbrink Date: Wed, 12 Nov 2025 00:34:58 +0100 Subject: [PATCH] Decrease padding a bit in area table. --- _static/css/custom.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_static/css/custom.css b/_static/css/custom.css index 5012614..f004ba5 100644 --- a/_static/css/custom.css +++ b/_static/css/custom.css @@ -1894,7 +1894,7 @@ p + .classref-constant { flex: 20000 20000 10em; display: flex; align-items: center; - min-height: 2em; + min-height: 1.5em; } .rst-content div.docutils.gdarea-table > div > div.gdarea-table-header {