:root{
  --luadock-navy:#00172F;
  --luadock-blue:#2269D9;
  --luadock-white:#FFFFFF;
}
header{border-bottom-color:#263b55}
.luadockBrand{display:flex;align-items:center;min-width:150px;height:38px;margin-right:3px}
.luadockBrandLogo{display:block;max-width:170px;max-height:36px;width:auto;height:auto}
.luadockBrandFallback{font-size:22px;font-weight:800;letter-spacing:.1px;white-space:nowrap}
.luadockBrandFallback .luadockLua{color:var(--luadock-white)}
.luadockBrandFallback .luadockDock{color:var(--luadock-blue)}
#designerVersionBadge{font-size:11px;background:#182a3d;border:1px solid #31557b;color:#cfe7ff;padding:4px 7px;border-radius:12px;white-space:nowrap}
.webRuntimeBadge{font-size:10px;font-weight:700;padding:4px 7px;border-radius:12px;border:1px solid #4a5664;background:#28313a;color:#d6dee6;white-space:nowrap}
.webRuntimeBadge.ok{background:#143727;border-color:#2c6a49;color:#a9e9c0}
.webRuntimeBadge.warn{background:#463817;border-color:#765f2e;color:#ffe09a}
.webRuntimeBadge.err{background:#4b1d24;border-color:#7e3540;color:#ffbbc3}