Module:Documentation/styles.css: Difference between revisions
Jump to navigation
Jump to search
m 1 revision imported |
use codex tokens for borders to improve dark mode support |
||
Line 2: | Line 2: | ||
.documentation, | .documentation, | ||
.documentation-metadata { | .documentation-metadata { | ||
border: 1px solid #a2a9b1; | border: 1px solid var( --border-color-base, #a2a9b1 ); | ||
background-color: #ecfcf4; | background-color: #ecfcf4; | ||
clear: both; | clear: both; | ||
Line 20: | Line 20: | ||
.documentation-startbox { | .documentation-startbox { | ||
padding-bottom: 3px; | padding-bottom: 3px; | ||
border-bottom: 1px solid # | border-bottom: 1px solid var( --border-color-base, #a2a9b1 ); | ||
margin-bottom: 1ex; | margin-bottom: 1ex; | ||
} | } | ||
Line 47: | Line 47: | ||
@media screen and ( prefers-color-scheme: dark) { | @media screen and ( prefers-color-scheme: dark ) { | ||
html.skin-theme-clientpref-os .documentation, | html.skin-theme-clientpref-os .documentation, | ||
html.skin-theme-clientpref-os .documentation-metadata { | html.skin-theme-clientpref-os .documentation-metadata { |
Revision as of 07:52, 22 February 2025
/* {{pp|small=yes}} */ .documentation, .documentation-metadata { border: 1px solid var( --border-color-base, #a2a9b1 ); background-color: #ecfcf4; clear: both; } .documentation { margin: 1em 0 0 0; padding: 1em; } .documentation-metadata { margin: 0.2em 0; /* same margin left-right as .documentation */ font-style: italic; padding: 0.4em 1em; /* same padding left-right as .documentation */ } .documentation-startbox { padding-bottom: 3px; border-bottom: 1px solid var( --border-color-base, #a2a9b1 ); margin-bottom: 1ex; } .documentation-heading { font-weight: bold; font-size: 125%; } .documentation-clear { /* Don't want things to stick out where they shouldn't. */ clear: both; } .documentation-toolbar { font-style: normal; font-size: 85%; } @media screen { html.skin-theme-clientpref-night .documentation, html.skin-theme-clientpref-night .documentation-metadata { background-color: #0b1e1c; } } @media screen and ( prefers-color-scheme: dark ) { html.skin-theme-clientpref-os .documentation, html.skin-theme-clientpref-os .documentation-metadata { background-color: #0b1e1c; } }