.documentation, .documentation-metadata {   background-color: #ecfcf4;   border: 1px solid #a2a9b1;   clear: both; }  .documentation {   margin: 1em 0 0 0;   padding: 1em; }  .documentation-metadata {   font-style: italic;   margin: 0.2em 0; /* Same margin-left and margin-right as .documentation */   padding: 0.4em 1em; /* Same padding-left and padding-right as .documentation */ }  .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;   } }