diff options
| author | bors <bors@rust-lang.org> | 2018-12-19 12:49:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-12-19 12:49:32 +0000 |
| commit | 6f839fbb0d407956777529b029fbb0d6cc6e4318 (patch) | |
| tree | 7efc541878cc49a26d67b9eb036d16657c6a5937 /src/librustdoc/html/static | |
| parent | 74ebf026fe927ffa99d541479454f45791806802 (diff) | |
| parent | 1ba6ec4a327d978471cdac31d17d9202106b15bd (diff) | |
| download | rust-6f839fbb0d407956777529b029fbb0d6cc6e4318.tar.gz rust-6f839fbb0d407956777529b029fbb0d6cc6e4318.zip | |
Auto merge of #56977 - pietroalbini:rollup, r=pietroalbini
Rollup of 15 pull requests Successful merges: - #56363 (Defactored Bytes::read) - #56663 (Remove lifetime from Resolver) - #56689 (add a lint group for lints emitted by rustdoc) - #56772 (fix issue 54153 by not testing issue-18804 on Windows nor OS X.) - #56820 (format-related tweaks) - #56881 (Implement Eq, PartialEq and Hash for atomic::Ordering) - #56907 (Fix grammar in compiler error for array iterators) - #56908 (rustc: Don't ICE on usage of two new target features) - #56910 (Do not point at delim spans for complete correct blocks) - #56913 (Enable stack probes for UEFI images) - #56918 (Profiler: simplify total_duration, improve readability) - #56931 (Update release notes for Rust 1.31.1) - #56947 (Add targets thumbv7neon-linux-androideabi and thumbv7neon-unknown-linux-gnueabihf) - #56948 (Update LLVM submodule) - #56959 (Fix mobile menu rendering collision with tooltip.) Failed merges: - #56914 (Ignore ui/target-feature-gate on sparc, sparc64, powerpc, powerpc64 and powerpc64le) r? @ghost
Diffstat (limited to 'src/librustdoc/html/static')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 01d2cbec192..1480c54ce40 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -997,7 +997,7 @@ span.since { margin-left: -15px; padding: 0 15px; position: static; - z-index: 1; + z-index: 11; } .sidebar > .location { |