.table-nav button{font-family:PPFormula,IBM Plex Mono,monospace,sans-serif}