--- a/src/Pure/System/web_app.scala Wed Jun 05 20:06:34 2024 +0200
+++ b/src/Pure/System/web_app.scala Wed Jun 05 20:09:04 2024 +0200
@@ -21,6 +21,10 @@
def value(v: String): Attribute = new Attribute("value", v)
def placeholder(p: String): Attribute = new Attribute("placeholder", p)
+ val nav = new Operator("nav")
+ val header = new Operator("header")
+ val footer = new Operator("footer")
+ val main = new Operator("main")
val fieldset = new Operator("fieldset")
val button = new Operator("button")