select              { height: initial; }      /* admin css: fixed pixels */
select[multiple]    { min-height: initial; }  /* admin css: fixed pixels */
.dashboard #content { width: 70%; }           /* admin css: fixed pixels (600px) */
form.mbd-api input[type="submit"] { padding: 0.2em; color: inherit; }  /* make api buttons look ~same as in mini_buildd */
:root { --bg-color-pre: rgba(65, 118, 144, 0.2); } /* make preformatted text distinguishable in "dark mode" */
