/* Inline SVG icons from /static/img/icons.svg (24×24 symbols, stroke = currentColor). */
.icon { width: 1.15em; height: 1.15em; vertical-align: -0.2em; flex: none; display: inline-block; overflow: visible; }
.icon-lg { width: 1.6em; height: 1.6em; vertical-align: -0.4em; }
.icon-xl { width: 3.2rem; height: 3.2rem; vertical-align: middle; }
.icon-only { display: inline-flex; align-items: center; justify-content: center; gap: 0; }
.icon-only .icon { vertical-align: 0; }

/* spider illustrations replacing the old spider emoji */
.logo .dot img { width: 22px; height: auto; display: block; }
.spider-inline { width: 1.3em; height: auto; vertical-align: -0.35em; margin-left: .2em; }
.spider-xl { width: 72px; height: auto; display: inline-block; }