diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-04-29 11:26:35 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-04-29 11:26:35 +0200 |
| commit | a20831e7a6617953e8e9d3f94140a558feb1e8ce (patch) | |
| tree | 78578bda7e0fe8467990459ec709778eccb48c8c | |
| parent | 76a04dd3f8b2500d9e524dca122814fd5a3e25e4 (diff) | |
| download | rust-a20831e7a6617953e8e9d3f94140a558feb1e8ce.tar.gz rust-a20831e7a6617953e8e9d3f94140a558feb1e8ce.zip | |
Remove unneeded bottom margin on search results
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index a024fa49b0e..62ea0935360 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -395,7 +395,6 @@ nav.sub { #results > table { width: 100%; table-layout: fixed; - margin-bottom: 40px; } .content pre.line-numbers { |