/* The desk's way into the device bench (/devices): a small line under the date, in the header. */
.bench-top { display: inline-block; margin-top: 4px; padding: 6px 0; color: var(--muted); font-size: 13px; text-decoration: underline; text-underline-offset: 3px; }