table.info, div.info { font-family: var(--monospace); font-size: 14px; color: var(--fg2); } div.info > span { margin: 4px; } table.info i.bi { margin-right: 8px; } div.info.info-small > span { border-right: 1px dotted; } div.info.info-small > span:last-child { border-right: initial; }