5,338
edits
MediaWiki:Common.css: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 223: | Line 223: | ||
#wpSummaryWidget .oo-ui-labelElement-label { | #wpSummaryWidget .oo-ui-labelElement-label { | ||
margin-right: 10px; | margin-right: 10px; | ||
} | |||
/* Diff text */ | |||
.diff-addedline, .diff-deletedline, .diff-context { | |||
font-size: 88%; | |||
} | } | ||