/* Small presentational additions that do not belong in the HTML document. */
.visit-counter { margin-left:auto; color:var(--muted); font:.72rem var(--mono); }
.visit-counter[hidden] { display:none; }
@media(max-width:430px) { .visit-counter { display:none; } }