Merge pull request #27 from riscv/26-table-font-size-reverted-to-9-pt

Merge pull request #27 from riscv/26-table-font-size-reverted-to-9-pt #42