From 923a997ac7f2969c81b0f63b8fe78fd3635d1728 Mon Sep 17 00:00:00 2001
From: "J. Garay" <jngaray93@gmail.com>
Date: Wed, 20 Sep 2023 15:46:09 -0300
Subject: [PATCH] make tab font pixelated

---
 style.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 5c22050..534b4f3 100644
--- a/style.css
+++ b/style.css
@@ -108,7 +108,8 @@ option,
 table,
 ul.tree-view,
 .window,
-.title-bar {
+.title-bar,
+li[role=tab] {
   font-family: "Pixelated MS Sans Serif", Arial;
   -webkit-font-smoothing: none;
   font-size: 11px;