/* Additional workspace navigation and history layout at small widths. */
@media(max-width:700px){header{flex-direction:column;align-items:stretch}header nav{justify-content:space-between;flex-wrap:wrap}header .brand img{width:180px;height:auto}.card table{font-size:13px}.card.padded:has(table){overflow:auto}}