Merge pull request #178 from jdan/fix-174-make-tab-font-pixelated

make tab font pixelated
This commit is contained in:
Juani Garay 2023-09-21 15:24:50 -03:00 committed by GitHub
commit 56ef2f7d6d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -108,7 +108,8 @@ option,
table, table,
ul.tree-view, ul.tree-view,
.window, .window,
.title-bar { .title-bar,
li[role=tab] {
font-family: "Pixelated MS Sans Serif", Arial; font-family: "Pixelated MS Sans Serif", Arial;
-webkit-font-smoothing: none; -webkit-font-smoothing: none;
font-size: 11px; font-size: 11px;