MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
| Line 36: | Line 36: | ||
.mw-highlight > pre | .mw-highlight > pre { | ||
margin: 1em 0; | |||
padding: 12px 16px; | |||
background-color: #f6f6f6; /* restore */ | |||
border: 1px solid #ddd; | |||
border-radius: 6px; | |||
overflow-x: auto; | |||
white-space: pre; | |||
font-family: "Roboto Mono", monospace; | |||
font-size: 13px; | |||
line-height: 1.5; | |||
display: block; /* IMPORTANT */ | |||
} | } | ||
pre { | pre { | ||
margin: 0; | margin: 0; | ||