.badge.ok{border-color:#bbf7d0;background:#f0fdf4;color:#14532d}
.badge.red{border-color:#fecaca;background:#fff1f2;color:#7f1d1d}
code{background:#f8fafc;border:1px solid #e6f0dc;border-radius:6px;padding:2px 6px}