diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-13 20:23:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-13 20:23:27 +0200 |
| commit | 3f61c730d4477768d7fee638e7468adb05751474 (patch) | |
| tree | f89d1aa75eb4e7a92b07a8f44c8b4d0ccd08136c /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 5179ebe2064e15196c5be1f8df950736140b8fdd (diff) | |
| parent | cbee6c5f0ca6dd1a1c5f073bd9e0e317f83bf2c5 (diff) | |
| download | rust-3f61c730d4477768d7fee638e7468adb05751474.tar.gz rust-3f61c730d4477768d7fee638e7468adb05751474.zip | |
Rollup merge of #70656 - GuillaumeGomez:scrollbar-display, r=kinnison
Improve scrollbar display in rustdoc The scrollbar of the left sidebar in rustdoc looks very bad on firefox (on dark theme). This PR improves it: <div style="display:inline-block;"> <div style="width:50%;display:inline-block;float:left;"> <image src="https://user-images.githubusercontent.com/3050060/78148412-202b0380-7435-11ea-8ff3-79f02ea8f9ed.png"> </div> <div style="width:50%;display:inline-block;float:left;"> <image src="https://user-images.githubusercontent.com/3050060/78148437-28833e80-7435-11ea-946b-a6fc9320b705.png"> </div> </div> With light theme:   And on chrome:   Small extra question: should I extend it to all scrollbars? I think it'd be better but just in case... r? @kinnison
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions