diff --git a/html/style.css b/html/style.css
index 24a3ed0..acc6f36 100644
--- a/html/style.css
+++ b/html/style.css
@@ -295,6 +295,7 @@ input.inline {
 
 /* Text console */
 pre.console {
+  box-sizing: border-box;
   background-color: #663300;
   border-radius: 5px;
   border: 0px solid #000000;