diff options
| author | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2017-03-08 20:53:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-08 20:53:55 +0200 |
| commit | 5694ac9e7bc9a6f7785743a48591dfd4e5cbfdab (patch) | |
| tree | 05c99ba9854fb2fc9f789b290b3298805067adc4 | |
| parent | f38e332b79010151c5464cf223d101e2a92ac9a1 (diff) | |
| parent | 2bb2a2975f25e8ba7a372898e7e112f1cec5db01 (diff) | |
| download | rust-5694ac9e7bc9a6f7785743a48591dfd4e5cbfdab.tar.gz rust-5694ac9e7bc9a6f7785743a48591dfd4e5cbfdab.zip | |
Rollup merge of #40265 - wesleywiser:rustdoc_style, r=GuillaumeGomez
Improve the style of the sidebar in rustdoc output Makes the sidebar a light grey and highlights the currently viewed item in the sidebar more prominently. All visual design credit goes to @johnwhelchel (#37856) Sample screenshots:   
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 11 | ||||
| -rw-r--r-- | src/librustdoc/html/static/styles/main.css | 11 |
2 files changed, 20 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index b0bf69b0181..6bd9cf6620b 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -167,7 +167,11 @@ nav.sub { position: absolute; left: 0; top: 0; - min-height: 100%; + min-height: 100vh; +} + +.sidebar .current { + margin-right: -20px; } .content, nav { max-width: 960px; } @@ -185,11 +189,16 @@ nav.sub { } .sidebar .location { + border: 1px solid; font-size: 17px; margin: 30px 0 20px 0; text-align: center; } +.location:empty { + border: none; +} + .location a:first-child { font-weight: 500; } .block { diff --git a/src/librustdoc/html/static/styles/main.css b/src/librustdoc/html/static/styles/main.css index 862d6d12b9a..f1e81900d1e 100644 --- a/src/librustdoc/html/static/styles/main.css +++ b/src/librustdoc/html/static/styles/main.css @@ -37,8 +37,17 @@ pre { background-color: #F5F5F5; } +.sidebar { + background-color: #F1F1F1; +} + +.sidebar .current { + background-color: #fff; +} + .sidebar .location { - background: #e1e1e1; + border-color: #000; + background-color: #fff; color: #333; } |
