.brand { font-weight: 700; text-decoration: none; }
.muted { color: var(--pico-muted-color); }
button.small, .outline.small { padding: 0.25rem 0.6rem; font-size: 0.85rem; }
table code { font-size: 0.85rem; }