/* The extra history button grows the right-aligned tools toward the left. */
body.ludicera-lounge .table-tools{gap:6px}
body.ludicera-lounge .table-tools button{padding-left:10px;padding-right:10px}
@media(min-width:1000px){body.ludicera-lounge .table-tools{margin-right:40px;max-width:calc(100% - 40px)}}