From ee545103609c10acbe117ac44218c8deffa54a3e Mon Sep 17 00:00:00 2001 From: Jan Kowalleck Date: Fri, 13 Mar 2026 15:13:30 +0100 Subject: [PATCH] fix scroll-padding-top for XML Signed-off-by: Jan Kowalleck --- docgen/xml/xs3p.xsl | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/docgen/xml/xs3p.xsl b/docgen/xml/xs3p.xsl index aec625c5..7b246c0b 100644 --- a/docgen/xml/xs3p.xsl +++ b/docgen/xml/xs3p.xsl @@ -715,6 +715,10 @@ /* XS3P specific CSS */ +html { + scroll-padding-top: 110px; +} + body { font: 16px/1.5em "Helvetica Neue",Helvetica,Arial,sans-serif; color: #222; @@ -808,19 +812,11 @@ code { a { color: #2157c4; } -a.name { - padding-top: 110px; -} h3.xs3p-subsection-heading { margin-bottom: 30px; } -section, #top { - margin-top: -110px; - padding-top: 110px; -} - pre { padding: 5px; }