# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1717610944 -7200
# Node ID 96cb31f0bbdf7baaaf70a0d9f4d929832225c7e8
# Parent  df8fa0393127593e4be6e7b342ece0aa003f8f44
more page elements;

diff -r df8fa0393127 -r 96cb31f0bbdf src/Pure/System/web_app.scala
--- 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")