diff options
| author | bors <bors@rust-lang.org> | 2017-03-09 08:26:17 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-03-09 08:26:17 +0000 |
| commit | 3087a1f39eaeac9d76c8b159dcc64de515bb2b83 (patch) | |
| tree | bace37e5277d56098ee4d1bb0727d930d68b650c /src/librustdoc/html/static | |
| parent | 5c9208faf1f180cd15cf93f74f1e57b24856d11e (diff) | |
| parent | f2886e8bda7d628ae0cc16e4fe579cbc2c6dc1b0 (diff) | |
| download | rust-3087a1f39eaeac9d76c8b159dcc64de515bb2b83.tar.gz rust-3087a1f39eaeac9d76c8b159dcc64de515bb2b83.zip | |
Auto merge of #40368 - arielb1:rollup, r=arielb1
Rollup of 20 pull requests - Successful merges: #40154, #40222, #40226, #40237, #40254, #40258, #40265, #40268, #40279, #40283, #40292, #40293, #40296, #40316, #40321, #40325, #40326, #40327, #40333, #40335 - Failed merges:
Diffstat (limited to 'src/librustdoc/html/static')
| -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; } |
