diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-07-10 16:33:25 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-07-10 16:33:25 +0200 |
| commit | 2ca24b618e40e92f8061419928dcd0f1f15527e5 (patch) | |
| tree | 77049b86e1c03803b73edd3cc4b98acd6479de59 | |
| parent | f844ea1e561475e6023282ef167e76bc973773ef (diff) | |
| download | rust-2ca24b618e40e92f8061419928dcd0f1f15527e5.tar.gz rust-2ca24b618e40e92f8061419928dcd0f1f15527e5.zip | |
Add margin after doc search results
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 9c6dd25394d..e6dd76f5466 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -361,6 +361,7 @@ nav.sub { #results > table { width: 100%; table-layout: fixed; + margin-bottom: 40px; } .content pre.line-numbers { |