mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #93382 - GuillaumeGomez:search-input-padding, r=jsha

Browse Source 
Add a bit more padding in search box

As asked in https://github.com/rust-lang/rust/pull/93113#issuecomment-1021565703, here is a bit more padding.

You can check it [here](https://rustdoc.crud.net/imperio/search-input-padding/foo/index.html).

r? `@camelid`
This commit is contained in:
Matthias Krüger 2022-02-16 18:59:28 +01:00 committed by GitHub
commit 01f0da2373
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/librustdoc/html/static/css/rustdoc.css
View File

@ -933,7 +933,7 @@ table,
outline: none;
border: 1px solid;
border-radius: 2px;
padding: 5px 8px;
padding: 8px;
font-size: 1rem;
transition: border-color 300ms ease;
width: 100%;