new article: making of the favicon

2025-09-10 01:05:07 +02:00 · 2025-07-05 18:18:16 +02:00
parent bcd2af7ccd
commit 1dd6ac8700
14 changed files with 133 additions and 0 deletions
--- a/common.typ
+++ b/common.typ
@@ -188,6 +188,14 @@
        padding: " + len2css(it.inset)
 }

+#let wimage(path, width:100%, alt:"image") = {
+  context if is-html() {
+    html.elem("img", attrs:(src:path, alt:alt, style:"width:"+len2css(width+0pt)+";"))
+  } else {
+    image(path)
+  }
+}
+
 #let html-script(code) = {
  [#context if is-html(){
  html.elem("script", code)