diff options
Diffstat (limited to 'docs/static/customstyle.css')
| -rw-r--r-- | docs/static/customstyle.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/static/customstyle.css b/docs/static/customstyle.css index 3c0bc8424..ce2140e70 100644 --- a/docs/static/customstyle.css +++ b/docs/static/customstyle.css @@ -9,7 +9,19 @@ margin: 4px; } +/* custom CSS to sticky the ' viewing outdated version' + warning +*/ +.document > .admonition { + position: sticky; + top: 0px; + background-color: salmon; + z-index: 2; +} +body { + overflow-x: unset!important; +} /* override table width restrictions */ @media screen and (min-width: 767px) { |