MediaWiki:Common.css: Difference between revisions
mNo edit summary Tag: Reverted |
mNo edit summary Tag: Reverted |
||
| Line 8: | Line 8: | ||
--rf-dark-fg: #eee; | --rf-dark-fg: #eee; | ||
--rf-dark-bg: #004; | --rf-dark-bg: #004; | ||
} | |||
@media screen { | |||
html.skin-theme-clientpref-night .code .terminal { | |||
color: var(--rf-dark-fg); | |||
background: var(--rf-dark-bg); | |||
} | |||
} | } | ||
| Line 17: | Line 24: | ||
border: 0px; | border: 0px; | ||
border-radius: 6px; | border-radius: 6px; | ||
} | } | ||
| Line 31: | Line 32: | ||
padding-left: 4px; | padding-left: 4px; | ||
padding-right: 4px; | padding-right: 4px; | ||
} | } | ||
| Line 46: | Line 41: | ||
border: 0px solid black; | border: 0px solid black; | ||
border-radius: 6px; | border-radius: 6px; | ||
} | } | ||
| Line 60: | Line 49: | ||
padding-left: 4px; | padding-left: 4px; | ||
padding-right: 4px; | padding-right: 4px; | ||
} | } | ||
Revision as of 2024-11-12T13:13:17
/* CSS placed here will be applied to all skins */
/* color definitions */
:root {
--rf-light-fg: white;
--rf-light-bg: #777;
--rf-dark-fg: #eee;
--rf-dark-bg: #004;
}
@media screen {
html.skin-theme-clientpref-night .code .terminal {
color: var(--rf-dark-fg);
background: var(--rf-dark-bg);
}
}
/* style for displaying source code */
pre.code {
color: var(--rf-light-fg);
background: var(--rf-light-bg);
border: 0px;
border-radius: 6px;
}
span.code {
color: var(--rf-light-fg);
background: var(--rf-light-bg);
border-radius: 6px;
padding-left: 4px;
padding-right: 4px;
}
/* style for displaying terminal commands */
pre.terminal {
color: var(--rf-light-fg);
background: var(--rf-light-bg);
border: 0px solid black;
border-radius: 6px;
}
span.terminal {
color: var(--rf-light-fg);
background: var(--rf-light-bg);
border-radius: 6px;
padding-left: 4px;
padding-right: 4px;
}