From e51caef2e8d6363b0b64a69ef361142b73ebd65d Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Sat, 7 Oct 2023 09:50:43 +0000 Subject: Deployed 694062d to dev with MkDocs 1.5.3 and mike 1.1.2 --- dev/assets/stylesheets/custom.00c04c01.min.css | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'dev/assets') diff --git a/dev/assets/stylesheets/custom.00c04c01.min.css b/dev/assets/stylesheets/custom.00c04c01.min.css index 44a2f2d0..3d441c39 100644 --- a/dev/assets/stylesheets/custom.00c04c01.min.css +++ b/dev/assets/stylesheets/custom.00c04c01.min.css @@ -13,18 +13,6 @@ } } -.md-header { - background-color: #30323a; - box-shadow: 0 0 0.2rem #0000, 0 0.2rem 0.4rem #0000; - color: var(--md-primary-bg-color); - display: block; - left: 0; - position: sticky; - right: 0; - top: 0; - z-index: 4; -} - .md-typeset .twitter { color: #00acee -- cgit v1.2.3-70-g09d2