riscv/docs-resources

Table font size reverted to 9 pt.

wmat opened this issue · 0 comments

wmat commented

A recent change to update table font size to 11.5 pt (matching base font size) was overwritten with the merging of the two theme files.

I think we should use ($base_fint_size * 0.9em) which equates to 10.35 pt.