diff options
| author |   GitHub Action <action@github.com> | 2023-10-07 02:48:43 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-07 02:48:43 +0000 |
| commit | 67b915aafa1103b85c2cda843a099a088f88dcd4 (patch) | |
| tree | 10b1539c3eb4b36e81fe39a8764a7e2465d1fa1f /dev/stylesheets/extra.css | |
| parent | d7281c2547a0cef6eefc50daee587eab8598d3a4 (diff) | |
| download | infini-67b915aafa1103b85c2cda843a099a088f88dcd4.tar.gz infini-67b915aafa1103b85c2cda843a099a088f88dcd4.zip | |
Deployed 98e083b to dev with MkDocs 1.5.3 and mike 1.1.2
Diffstat (limited to 'dev/stylesheets/extra.css')
| -rw-r--r-- | dev/stylesheets/extra.css | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/dev/stylesheets/extra.css b/dev/stylesheets/extra.css index 0d329d97..bf34cb9a 100644 --- a/dev/stylesheets/extra.css +++ b/dev/stylesheets/extra.css @@ -15,14 +15,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 { |