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
This commit is contained in:
Antoine Beaupré 2022-06-15 11:45:03 -04:00
parent b46c295827
commit 2d6041be5d
No known key found for this signature in database
GPG key ID: 3EA1DDDDB261D97B

View file

@ -1,7 +1,7 @@
{ {
"defaults": { "defaults": {
"separator": "", "separator": "",
"padding": " ", "padding": "",
"unknown": { "unknown": {
"prefix": "" "prefix": ""
}, },