body {
    --paper: #fbf9fb;
    --paper: light-dark(#fbf9fb, #1c1a20);
    --brand-bg: #fff0cf;
    --brand-bg: light-dark(#fff0cf, #332a14);
    --brand-bg-dark: #fce6b8;
    --brand-bg-dark: light-dark(#fce6b8, #403315);
}
#p-test4-banner {
    height: 1.3em;
    background: #5a3a87;
    color: white;
    text-align: center;
    order: 1;
}
#p-test4-banner::before {
    content: "This is a HotCRP test site";
    text-align: center;
    font-weight: 900;
    width: 100%;
}