From f738f671d1ed682bcfe2bdee1f035520016af344 Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Wed, 9 Jan 2019 15:16:18 +0000 Subject: [PATCH] Sticky headers for proposals page --- scripts/css/basic.css | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/scripts/css/basic.css b/scripts/css/basic.css index dc86bc26..8d99f6da 100644 --- a/scripts/css/basic.css +++ b/scripts/css/basic.css @@ -462,6 +462,16 @@ dl.glossary dt { font-style: oblique; } +/* -- proposals page -------------------------------------------------------- */ + +#tables-of-tracked-proposals h2 { + margin-top: 7px; + padding-left: 10px; + position: -webkit-sticky; + position: sticky; + top: 0px; +} + /* -- code displays --------------------------------------------------------- */ pre {