MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
Line 7: | Line 7: | ||
font-family: 'Open Sans', sans-serif; | font-family: 'Open Sans', sans-serif; | ||
} | } | ||
.mw-body-content | .mw-body-content | ||
{ | { | ||
font-size: unset; | font-size: unset; | ||
} | } | ||
.diff-addedline | .diff-addedline | ||
{ | { | ||
Line 26: | Line 28: | ||
border-width: 1px 1px 1px 4px; | border-width: 1px 1px 1px 4px; | ||
border-radius: 0.33em; | border-radius: 0.33em; | ||
} | |||
.highlight | |||
{ | |||
background: #ff0; | |||
font-weight: unset; | |||
} | |||
.highlight-warning | |||
{ | |||
background: #fa0; | |||
font-weight: unset; | |||
} | |||
.highlight-bad, | |||
.highlight-danger, | |||
.highlight-todo | |||
{ | |||
background: #f00; | |||
font-weight: unset; | |||
} | |||
.highlight-good, | |||
.highlight-done | |||
{ | |||
background: #0f0; | |||
font-weight: unset; | |||
} | } |
Revision as of 16:21, 28 June 2020
/* CSS placed here will be applied to all skins */
@import url('https://fonts.googleapis.com/css?family=Open+Sans:400,400i,700,700i&display=swap&subset=latin-ext');
html, body
{
font-family: 'Open Sans', sans-serif;
}
.mw-body-content
{
font-size: unset;
}
.diff-addedline
{
border-color: #a3d3ff;
}
.diff-addedline, .diff-deletedline, .diff-context
{
font-size: 88%;
line-height: 1.6;
vertical-align: top;
white-space: -moz-pre-wrap;
white-space: pre-wrap;
border-style: solid;
border-width: 1px 1px 1px 4px;
border-radius: 0.33em;
}
.highlight
{
background: #ff0;
font-weight: unset;
}
.highlight-warning
{
background: #fa0;
font-weight: unset;
}
.highlight-bad,
.highlight-danger,
.highlight-todo
{
background: #f00;
font-weight: unset;
}
.highlight-good,
.highlight-done
{
background: #0f0;
font-weight: unset;
}