Merge pull request #5790 from MrPetovan/bug/php7-remove-pear-text_highlighter

Normalize padding of inline code
This commit is contained in:
Tobias Diekershoff 2018-09-25 10:38:17 +02:00 committed by GitHub
commit a2bd527976
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 11 deletions

View file

@ -247,14 +247,7 @@ span.oembed, h4 {
margin: 0px 0px 0px 0px; margin: 0px 0px 0px 0px;
} }
code { code, key {
background-color: #eee;
color: #666;
padding: 1em;
font-size: 0.85em;
font-family: monospace;
}
key {
display: inline; display: inline;
background-color: #eee; background-color: #eee;
color: #666; color: #666;

View file

@ -1062,9 +1062,6 @@ aside > #datebrowse-sidebar .posted-date-selector-months > ul > li:hover{
} }
/* help page widget */ /* help page widget */
aside > .help-content-wrapper code, .help-aside-wrapper code {
display: inline
}
aside > .help-aside-wrapper p strong:first-child { aside > .help-aside-wrapper p strong:first-child {
display: block; display: block;
margin: 1em 0 0em; margin: 1em 0 0em;