From 2d6041be5d11cb9e1d85d89cb3c98384cb37b3de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= Date: Wed, 15 Jun 2022 11:45:03 -0400 Subject: [PATCH] reduce spacing in awesome fonts iconset This replaces the previous normal spacing character (which is the usual ASCII 0x20 SPACE) by a *narrower* spacer (which is unicode U+2009 THIN SPACE). I found that space thanks to https://en.wikipedia.org/wiki/Space_(punctuation)#Types_of_spaces ... and specifically: https://en.wikipedia.org/wiki/Thin_space ... and this actually works, amazingly. Probably because it is pretty standard as it's part of the SI specification (thousands separator), Tex (`\thinspace` or `\,`), and HTML (` `) Closes: #888 --- themes/icons/awesome-fonts.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/themes/icons/awesome-fonts.json b/themes/icons/awesome-fonts.json index 3f971d7..a3de1d2 100644 --- a/themes/icons/awesome-fonts.json +++ b/themes/icons/awesome-fonts.json @@ -1,7 +1,7 @@ { "defaults": { "separator": "", - "padding": " ", + "padding": " ", "unknown": { "prefix": "" },