mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 08:14:33 +00:00
Use font-family: monospace, Courier
Use font-family: monospace, Courier instead of font-family: monospace, "Courier New" like in resources/src/mediawiki.skinning/elements.css from core. Change-Id: I87145f8254d34b6d00d76f22c3d0819b9ea5839f
This commit is contained in:
parent
216a271213
commit
342cebaba6
|
@ -253,7 +253,7 @@
|
|||
vertical-align: top;
|
||||
}
|
||||
.wikiEditor-ui-toolbar .section-help .page-table td.cell-syntax {
|
||||
font-family: monospace, "Courier New";
|
||||
font-family: monospace, Courier;
|
||||
}
|
||||
.wikiEditor-ui-toolbar .section-help .page-table td.cell-syntax,
|
||||
.wikiEditor-ui-toolbar .section-help .page-table td.cell-result {
|
||||
|
@ -276,7 +276,7 @@
|
|||
color: black;
|
||||
text-decoration: none;
|
||||
cursor: pointer;
|
||||
font-family: monospace, "Courier New";
|
||||
font-family: monospace, Courier;
|
||||
font-size: 1.25em;
|
||||
line-height: 1;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue