MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
tab-size:10; | tab-size:10; | ||
font-family:'Noto Mono'; | font-family:'Noto Mono'; | ||
font-size: | font-size:13px; | ||
line-height: 1.2 | line-height: 1.2 | ||
} | } | ||
.mw-highlight .k { | .mw-highlight .k { | ||
font-weight: bold; | color: #6ab825;font-weight: bold; | ||
} | } | ||
Revision as of 09:56, 3 March 2025
/* CSS placed here will be applied to all skins */
.mw-highlight pre {
background-color: black !important;
color: lime !important;
tab-size:10;
font-family:'Noto Mono';
font-size:13px;
line-height: 1.2
}
.mw-highlight .k {
color: #6ab825;font-weight: bold;
}