diff options
| author | Tor Andersson <tor@ccxvii.net> | 2022-02-08 00:13:41 +0100 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2022-02-15 12:18:30 +0100 |
| commit | 4bedfa9d5dfc5007a9d4c93654ed0b6e109c67d5 (patch) | |
| tree | 5fe0d93bf1351989cc6436f0814c12a5b3732b6d /tools/fonts/make_number_font.sh | |
| parent | 7cfce92c538bbd5cb5dc95e0ee3b7ce78959657e (diff) | |
| download | server-4bedfa9d5dfc5007a9d4c93654ed0b6e109c67d5.tar.gz | |
Put all web fonts into same CSS file.
Use bolder Circled Number font.
Diffstat (limited to 'tools/fonts/make_number_font.sh')
0 files changed, 0 insertions, 0 deletions