diff options
| author | Felix Fontein <felix@fontein.de> | 2020-02-11 19:16:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-11 13:16:26 -0500 |
| commit | fd43619f1a47be784a016431346531ad7d2dd71c (patch) | |
| tree | b1ef08810befae0b5270de00a2a47faa87c5ab34 /docs/docsite | |
| parent | 28071daab8855844e97256dabec640d70a6b979b (diff) | |
| download | ansible-fd43619f1a47be784a016431346531ad7d2dd71c.tar.gz | |
Docs: improve anchors vs. header bar (#67244)
Diffstat (limited to 'docs/docsite')
| -rw-r--r-- | docs/docsite/_static/ansible.css | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/docs/docsite/_static/ansible.css b/docs/docsite/_static/ansible.css index 2fd26cebad..f9d0b1a451 100644 --- a/docs/docsite/_static/ansible.css +++ b/docs/docsite/_static/ansible.css @@ -36,15 +36,6 @@ tr .ansibleOptionLink::after { content: ""; font-family: FontAwesome; } -tr .ansibleOptionLink::before { - font-family: "FontAwesome"; - display: inline-block; - font-style: normal; - font-weight: normal; - line-height: 1; - text-decoration: inherit; - -webkit-font-smoothing: antialiased; -} tr .ansibleOptionLink { visibility: hidden; display: inline-block; @@ -53,3 +44,16 @@ tr .ansibleOptionLink { -webkit-font-smoothing: antialiased; -moz-osx-font-smoothing: grayscale; } + +@media screen and (min-width:767px){ + /* Move anchors a bit up so that they aren't hidden by the header bar */ + section [id] { + padding-top: 45px; + margin-top: -45px; + } + /* Without this, for example most links in the page's TOC aren't usable anymore */ + section a[id] { + padding-top: 0; + margin-top: 0; + } +}
\ No newline at end of file |