.runtime-banner{position:sticky;top:0;z-index:100;padding:12px 24px;text-align:center;font-size:14px;line-height:1.65;border-bottom:1px solid #d5b96c;background:#fff2c8;color:#634a09}
.runtime-banner[hidden]{display:none}
#runtime-banner:not([hidden])~#app .ws-header{top:var(--runtime-banner-height,48px)}
.runtime-unknown{background:#fff0ee;color:#9b2922;border-color:#e1aaa4}
@media(max-width:640px){.runtime-banner{padding:10px 14px;text-align:left;font-size:13px}}