From 6daede99b20d93c66fb4012e444e4a17e1c6f48b Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@oraios-ai.de>
Date: Wed, 15 Oct 2025 17:31:34 +0200
Subject: [PATCH] REPL: Improve style for output number

---
 mcp-server/src/static/repl.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mcp-server/src/static/repl.html b/mcp-server/src/static/repl.html
index fbf64db..24f7620 100644
--- a/mcp-server/src/static/repl.html
+++ b/mcp-server/src/static/repl.html
@@ -105,7 +105,7 @@
 
             .output-label {
                 color: #28a745;
-                font-weight: bold;
+                font-size: 12px;
                 margin-bottom: 5px;
                 display: block;
             }