From 8b44b95830a5203f2b1ab0f8a441baabe6df86d3 Mon Sep 17 00:00:00 2001 From: Cody Glassman Date: Tue, 8 Jul 2025 11:26:16 -0700 Subject: [PATCH] docs - fix table padding and luadoc scroll padding --- docs/source/_static/luadoc.css | 4 ++++ docs/source/_static/theme-override.css | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/docs/source/_static/luadoc.css b/docs/source/_static/luadoc.css index b2efec85b4..96b7de9bb3 100644 --- a/docs/source/_static/luadoc.css +++ b/docs/source/_static/luadoc.css @@ -20,6 +20,10 @@ white-space: normal; } +html:has(#luadoc) { + scroll-padding-top: 4.0rem; +} + #content #luadoc code a:not(.toc-backref) { font-weight: 600; } diff --git a/docs/source/_static/theme-override.css b/docs/source/_static/theme-override.css index cf9ae168bc..756d920368 100644 --- a/docs/source/_static/theme-override.css +++ b/docs/source/_static/theme-override.css @@ -143,6 +143,10 @@ tbody tr:hover { margin-bottom: 1.5rem; } +#content table p { + margin-bottom: 0; +} + h5 { font-size: 1.15rem; font-weight: 600;