change table font size to be bigger/same as new riscv-pdf theme#17

Merged

kbroch-rivosinc merged 1 commit intomainfrom dev/kbroch/table-font-size-to-11p5

Jun 3, 2024

+1-1

Commits on Jun 3, 2024

change table font size to be bigger/same as new riscv-pdf theme
kbroch-rivosinc
committed