Rollup merge of #54368 - GuillaumeGomez:reduce-side-padding, r=QuietMisdreavus

Reduce code block sides padding

Fixes #42013.

<img width="1440" alt="screen shot 2018-09-19 at 22 58 32" src="https://user-images.githubusercontent.com/3050060/45781266-c6525680-bc5f-11e8-8eb0-98fc4c22a96e.png">

r? @QuietMisdreavus
This commit is contained in:
Pietro Albini 2018-09-25 22:34:41 +02:00 committed by GitHub
commit d2f9e666bf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -139,7 +139,7 @@ code, pre {
}
.docblock code, .docblock-short code {
border-radius: 3px;
padding: 0 0.2em;
padding: 0 0.1em;
}
.docblock pre code, .docblock-short pre code, .docblock code.spotlight {
padding: 0;