Merge pull request #17 from riscv/dev/kbroch/table-font-size-to-11p5

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

Author: kbroch-rivosinc

themes/riscv-spec.yml

@@ -252,7 +252,7 @@ figure:
     align: center
 table:
   background_color: $page_background_color
-  font-size: 9
+  font-size: 11.5
   #head_background_color: #2596be
   #head_font_color: $base_font_color
   head_font_style: bold