From d76d17942d9ee9ff71d3772d25980003bbc144d9 Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 3 May 2023 11:07:17 +1000
Subject: [PATCH] sel4bench: use monospace font for build command

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 sel4bench/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sel4bench/build.py b/sel4bench/build.py
index 02028ffd..0b2890c5 100644
--- a/sel4bench/build.py
+++ b/sel4bench/build.py
@@ -322,7 +322,7 @@ def gen_web(runs: List[Run], yml, file_name: str):
                     f.write(f"    <td>{board['soc']}/{board_name}</td>\n")
                 f.write(f"    <td class=\"data-table-right\">{board['clock']}</td>\n")
                 f.write(f"    <td>{board['compiler']}</td>\n")
-                f.write(f'    <td>{build_command}</td>\n')
+                f.write(f'    <td class=\"monospace\">{build_command}</td>\n')
                 f.write(f'  </tr>')
 
             f.write(f'</table>\n\n')