MediaWiki:Common.css: Difference between revisions
No edit summary Tag: Manual revert |
No edit summary |
||
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ | /* CSS placed here will be applied to all skins */ | ||
.mw-highlight-lang-ada pre { | .mw-highlight-lang-ada pre { | ||
background-color: black | background-color: black; | ||
color: lime | color: lime; | ||
tab-size:10; | tab-size:10; | ||
font-family:'Noto Mono'; | font-family:'Noto Mono'; | ||
Revision as of 10:20, 3 March 2025
/* CSS placed here will be applied to all skins */
.mw-highlight-lang-ada pre {
background-color: black;
color: lime;
tab-size:10;
font-family:'Noto Mono';
font-size:13px;
line-height: 1.2
}
.mw-highlight-lang-ada pre .k {
color: blue;font-weight: bold;
}