user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add margin after doc search results

Browse source
This commit is contained in:
Guillaume Gomez 2020-07-10 16:33:25 +02:00
parent f844ea1e56
commit 2ca24b618e
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/librustdoc/html/static/rustdoc.css
View file

@ -361,6 +361,7 @@ nav.sub {
#results > table {
width: 100%;
table-layout: fixed;
margin-bottom: 40px;
}
.content pre.line-numbers {