|
|
| Line 1: |
Line 1: |
| .documentation,
| |
| .documentation-metadata {
| |
| background-color: #ecfcf4;
| |
| border: 1px solid #a2a9b1;
| |
| clear: both;
| |
| }
| |
|
| |
|
| .documentation {
| |
| margin: 1em 0 0 0;
| |
| padding: 1em;
| |
| }
| |
|
| |
| /* The same margin-left/margin-right and padding-left/padding-right as .documentation */
| |
| .documentation-metadata {
| |
| font-style: italic;
| |
| margin: 0.2em 0;
| |
| padding: 0.4em 1em;
| |
| }
| |
|
| |
| .documentation-startbox {
| |
| border-bottom: 1px solid #aaa;
| |
| margin-bottom: 1ex;
| |
| padding-bottom: 3px;
| |
| }
| |
|
| |
| .documentation-heading {
| |
| font-size: 1.25em;
| |
| font-weight: 700;
| |
| }
| |
|
| |
| /* Don't want things to stick out where they shouldn't. */
| |
| .documentation-clear {
| |
| clear: both;
| |
| }
| |
|
| |
| .documentation-toolbar {
| |
| font-size: 0.85em;
| |
| font-style: normal;
| |
| }
| |
|
| |
| @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;
| |
| }
| |
| }
| |
