diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/_static/style.css | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/_static/style.css b/docs/_static/style.css index 64bd4f4d..e80b88bb 100644 --- a/docs/_static/style.css +++ b/docs/_static/style.css @@ -231,6 +231,7 @@ header > nav > a { .sub-header > label { display: none; + margin-right: 1em; } .sub-header > select { @@ -240,10 +241,8 @@ header > nav > a { .sub-header > .settings { color: var(--settings); display: none; -} - -.sub-header > .settings { - color: var(--settings); + margin-left: 1em; + margin-right: 0.5em; } .sub-header > .settings:hover { |