diff options
| author | bors <bors@rust-lang.org> | 2023-01-02 10:21:53 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-01-02 10:21:53 +0000 |
| commit | f89003eda8917ff99f8ee3fb5c812310a58c014b (patch) | |
| tree | 4db143a6d6c509c1de4f8ebb92a74ede8782b112 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | d5a7ddd99f5e43116ec452777f08fddbde7f42fd (diff) | |
| parent | 399fe5d0cd93f7b78e6464111546788c43ba1f61 (diff) | |
| download | rust-f89003eda8917ff99f8ee3fb5c812310a58c014b.tar.gz rust-f89003eda8917ff99f8ee3fb5c812310a58c014b.zip | |
Auto merge of #106301 - notriddle:notriddle/dir-entry, r=GuillaumeGomez
rustdoc: use the regular arrow indicator for dir-entry CSS This mostly reverts 468acca108e65101b802821bded17149dc1d86c9, while still fixing the problem it fixed by using an internal list-style-position. It results in a slight change in the hover indicator, but nothing misleading. Preview: http://notriddle.com/notriddle-rustdoc-demos/dir-entry/src/std/lib.rs.html ## Before  ## After 
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 25 |
1 files changed, 2 insertions, 23 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index b5f1581321e..bc0458bcd28 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1387,31 +1387,10 @@ details.dir-entry { padding-left: 4px; } -details.dir-entry > summary::after { - content: " ►"; - position: absolute; - left: -15px; - top: 0px; - font-size: 80%; - padding: 2px 0px; - /* set width to cover gap between arrow and text */ - width: 25px; -} - -details[open].dir-entry > summary::after { - content: " ▼"; -} - -details.dir-entry > summary::-webkit-details-marker, -details.dir-entry > summary::marker { - display: none; -} - details.dir-entry > summary { - margin: 0 0 0 13px; - list-style: none; + margin: 0 0 0 -4px; + padding: 0 0 0 4px; cursor: pointer; - position: relative; } details.dir-entry div.folders, details.dir-entry div.files { |
