make tab font pixelated

2025-08-30 09:09:56 +02:00 · 2023-09-20 15:46:09 -03:00
parent ce17037475
commit 923a997ac7
1 changed files with 2 additions and 1 deletions
--- 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;