diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-05-11 22:28:13 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-05-11 22:28:13 +0200 |
| commit | 75b69c453b0fcde2ab9008f0968e0d38c75666b8 (patch) | |
| tree | 53771a7b1177bc5deebdb4ec19b032274ac5ab6f | |
| parent | e40beb3af162e676e40704854dd6547ee8d4cf60 (diff) | |
Fix search when looking to sources
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index ddaa00aa4fb..fc879dc0705 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -236,6 +236,9 @@ nav.sub { overflow: auto; padding-left: 0; } +#search { + margin-left: 230px; +} .content pre.line-numbers { float: left; border: none; |