#wpSummary { padding: 0.2em !important; }
.mw-editfont-monospace,
.mw-editfont-sans-serif,
.mw-editfont-serif {
	font-size: 14px !important;
}

/* green for redirect-links (thanks ]!) */
.mw-body-content a.mw-redirect {color:#308050}
.mw-body-content a.mw-redirect:visited {color:#3070A0}

.diff-editfont-monospace .diff-addedline,
.diff-editfont-monospace .diff-deletedline,
.diff-editfont-monospace .diff-context {
  font-family: sans-serif;
  font-size: 88%;
}

/* display hidden Citation Style 1 error messages */
.mw-parser-output span.cs1-hidden-error {display: inline;}
/* display hidden Citation Style 1 maintenance  messages */
.mw-parser-output span.cs1-maint {display: inline;}