rust/src/librustdoc/html
Dylan DPC 3f61c730d4
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:

![old-firefox-light](https://user-images.githubusercontent.com/3050060/78148718-7bf58c80-7435-11ea-93d3-2a2cafd5c6ae.png)
![firefox-light](https://user-images.githubusercontent.com/3050060/78148736-7f891380-7435-11ea-8b10-a8898f73b4c9.png)

And on chrome:

![chrome-light](https://user-images.githubusercontent.com/3050060/78148903-ac3d2b00-7435-11ea-9a10-6c0376a675c3.png)
![chrome-dark](https://user-images.githubusercontent.com/3050060/78148907-ae9f8500-7435-11ea-9b89-0397b977753c.png)

Small extra question: should I extend it to all scrollbars? I think it'd be better but just in case...

r? @kinnison
2020-04-13 20:23:27 +02:00
..
markdown Normalize syntax::edition imports. 2020-01-02 19:31:38 +01:00
render more clippy fixes 2020-03-31 15:20:05 +02:00
static Extend sidebar scrollbar changes to all scrollbars 2020-04-07 22:10:17 +02:00
toc Format the world 2019-12-22 17:42:47 -05:00
escape.rs Format the world 2019-12-22 17:42:47 -05:00
format.rs Remove "important traits" feature 2020-02-27 14:51:22 +01:00
highlight.rs fix various typos 2020-03-06 15:19:31 +01:00
item_type.rs Const items have by default a static lifetime, there's no need to annotate it. (clippy::redundant_static_lifetimes) 2020-03-05 16:38:24 +01:00
layout.rs Format the world 2019-12-22 17:42:47 -05:00
markdown.rs more clippy fixes 2020-03-31 15:20:05 +02:00
render.rs rustdoc: Don't try to load source files from external crates 2020-04-08 18:35:17 +01:00
sources.rs rustdoc: Don't try to load source files from external crates 2020-04-08 18:35:17 +01:00
static_files.rs rustdoc: remove redundant static lifetimes (clippy::redundant_static_lifetimes) 2020-03-07 21:48:17 +01:00
toc.rs Format the world 2019-12-22 17:42:47 -05:00