--- a/assets/BUILD	Mon Aug 03 10:48:59 2026 -0700
+++ b/assets/BUILD	Mon Aug 03 11:26:30 2026 -0700
@@ -1,5 +1,33 @@
+load("//gui_ze:gui_ze.bzl", "webp_image")
+
+_ICON_ASSETS = [
+    "binder",
+    "bold",
+    "book",
+    "cabinet",
+    "clipy",
+    "h1",
+    "h2",
+    "h3",
+    "link",
+    "open-book",
+]
+
+[
+    webp_image(
+        name = "webp_{}".format(asset.replace("-", "_")),
+        src = "png/{}.png".format(asset),
+        out = "generated_icons/{}.webp".format(asset),
+        lossless = True,
+    )
+    for asset in _ICON_ASSETS
+]
+
 filegroup(
-  name = "icons",
-  srcs = glob(["icons/*.png"]),
-  visibility = ["//visibility:public"],
+    name = "icons",
+    srcs = [
+        ":webp_{}".format(asset.replace("-", "_"))
+        for asset in _ICON_ASSETS
+    ],
+    visibility = ["//visibility:public"],
 )