diff options
| author | Zac Dover <zac.dover@gmail.com> | 2023-01-10 16:55:55 +0100 |
|---|---|---|
| committer | Zac Dover <zac.dover@gmail.com> | 2023-01-10 16:55:55 +0100 |
| commit | dd9555b0ae0507c996588e82a62b0a674530a16a (patch) | |
| tree | d4b0e6ad6d7e1a9303269595a054884b508f4599 /doc | |
| parent | Merge pull request #49677 from zdover23/wip-doc-2023-01-10-rados-replacing-an... (diff) | |
| download | ceph-dd9555b0ae0507c996588e82a62b0a674530a16a.tar.xz ceph-dd9555b0ae0507c996588e82a62b0a674530a16a.zip | |
doc/css: add "span" padding to custom.css
Add "scroll-top-bar: 2em;" for the "span" html element in custom.css so
that the top bar doesn't get in the way of headings bounded by the "span
element".
See also https://github.com/ceph/ceph/pull/49644.
Signed-off-by: Zac Dover <zac.dover@gmail.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/_static/css/custom.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css index 0a2d2078ce7..3a8dd5539ac 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -10,6 +10,10 @@ section { scroll-margin-top: 4em; } +span { + scroll-margin-top: 2em; +} + ul.simple > li > ul > li:last-child { margin-block-end : 1em; } |