From 2e4f2b5d138728e9fbab3c79282422f11e35fc51 Mon Sep 17 00:00:00 2001
From: Kevin Broch <kbroch@rivosinc.com>
Date: Mon, 3 Jun 2024 15:15:39 -0700
Subject: [PATCH] change table font size to be bigger/same as new riscv-pdf
 theme

related to https://github.com/riscv-non-isa/riscv-iommu/pull/342

Signed-off-by: Kevin Broch <kbroch@rivosinc.com>
---
 themes/riscv-spec.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/riscv-spec.yml b/themes/riscv-spec.yml
index 0cc0b88..390d1fb 100644
--- a/themes/riscv-spec.yml
+++ b/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