From cb72f43b03322547fdb0c982f56955b43fdf117d Mon Sep 17 00:00:00 2001 From: MacRimi Date: Sun, 23 Nov 2025 22:01:50 +0100 Subject: [PATCH] Update globals.css --- AppImage/app/globals.css | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/AppImage/app/globals.css b/AppImage/app/globals.css index 27a00f2..c5efa71 100644 --- a/AppImage/app/globals.css +++ b/AppImage/app/globals.css @@ -149,17 +149,21 @@ /* Ajustes para xterm.js */ /* ===================== */ -/* Quitar padding para que la terminal ocupe el 100% del ancho */ + .xterm { padding: 0 !important; + font-weight: 600 !important; + -webkit-font-smoothing: antialiased !important; } -/* Por si acaso el viewport aƱade padding extra */ .xterm .xterm-viewport { padding: 0 !important; } -/* Opcional: asegurar que no haya margen raro */ .xterm-rows { margin: 0 !important; } + +.xterm .xterm-bold { + font-weight: 800 !important; +}