Fix 9

tooling/bdf-to-pngs.py

@@ -1,5 +1,7 @@
 #!/usr/bin/env python3
 
+from subprocess import run
+
 from bdfparser import Font
 from PIL import Image
 
@@ -24,4 +26,17 @@ for char_str in chars_to_export:
             },
         ),
     )
-    im.save(f"../resources/{char_str}.png", "PNG")
+    output_path = f"../resources/{char_str}.png"
+    im.save(output_path, "PNG")
+    run(
+        [
+            "zopflipng",
+            "-y",
+            "--iterations=500",
+            "--filters=01234mepb",
+            "--lossy_8bit",
+            "--lossy_transparent",
+            output_path,
+            output_path,
+        ]
+    )

tooling/civic-segments.bdf

@@ -25,7 +25,7 @@ COPYRIGHT ""
 BITED_DWIDTH 69
 BITED_TABLE_WIDTH -16
 BITED_TABLE_CELL_SCALE 2
-BITED_EDITOR_GRID_SIZE 116
+BITED_EDITOR_GRID_SIZE 117
 BITED_EDITOR_CELL_SIZE 12
 ENDPROPERTIES
 CHARS 10
@@ -1188,15 +1188,15 @@ FFFDFFFFFFFFFDFFF8
 FFFDFFFFFFFFFDFFF8
 7FFDFFFFFFFFFDFFF0
 7FFDFFFFFFFFFDFFF0
-3FFDFFFFFFFFFDFFE0
+BFFDFFFFFFFFFDFFE0
-3FFDFFFFFFFFFDFFE0
+BFFDFFFFFFFFFDFFE0
-1FFDFFFFFFFFFDFFC0
+DFFDFFFFFFFFFDFFC0
-0FFDFFFFFFFFFDFF80
+EFFDFFFFFFFFFDFF80
-07FDFFFFFFFFFDFF00
+F7FDFFFFFFFFFDFF00
-03FDFFFFFFFFFDFE00
+FBFDFFFFFFFFFDFE00
-01FDFFFFFFFFFDFC00
+FDFDFFFFFFFFFDFC00
-00FDFFFFFFFFFDF800
+FEFDFFFFFFFFFDF800
-003DFFFFFFFFFDE000
+FF3DFFFFFFFFFDE000
-000DFFFFFFFFFD8000
+FFCDFFFFFFFFFD8000
 ENDCHAR
 ENDFONT