code { font-size: 0.95em; }
#result.ok { background: #e9f7ef; border-color: #b7e1cd; }
#result.err { background: #fdecea; border-color: #f5c2c7; }
.scan-big { font-size: 1.05rem; }