+ {?.title}{.title}
{/.title}
+ {! TODO: date? !}
+
+ {! TODO: Table of contents? !}
+
+
+ {#.children}
+ {>document_element/}
+ {/.children}
+
+ {?.footnotes}
+
Footnotes:
+ {#.footnotes}
+ {>real_footnote_definition/}
+ {/.footnotes}
+ {/.footnotes}
+
+