diff --git a/web/controllers_web_site.anubis b/web/controllers_web_site.anubis
index f1de826..eff966e 100644
--- a/web/controllers_web_site.anubis
+++ b/web/controllers_web_site.anubis
@@ -151,9 +151,9 @@ define HTTP_Answer
// content of page
sequence([
- preformated([size(14)],"Anubis Web Server - Standard Lib v1.19.0.0 - Anubis language v1.19"),
- preformated([size(12)],"Error "+to_String(http_status)),
- preformated([size(12)],"Internal message :"+message),
+ pre("Anubis Web Server - Standard Lib v1.19.0.0 - Anubis language v1.19"),
+ pre("Error "+to_String(http_status)),
+ pre("Internal message :"+message),
br,
in_form(html_Id(""),text_area(wan(""), init(dump(_session)), 120, 60))
])
diff --git a/web/making_a_web_site.anubis b/web/making_a_web_site.anubis
index a261611..e4803b7 100644
--- a/web/making_a_web_site.anubis
+++ b/web/making_a_web_site.anubis
@@ -680,6 +680,7 @@ public define Printable_tree [WebArgValue x . Printable_tree y] = str_pt(x.valu
public define Printable_tree [InitialValue x . Printable_tree y] = str_pt(x.value, y).
public define CoreAttrs attr(String name, Bool value) = attr(name, if value then "true" else "false").
+public define CoreAttrs attr(String name, Int value) = attr(name, to_String(value)).
public define InputAttrs attr(String name, Bool value) = attr(name, if value then "true" else "false").
@@ -1566,6 +1567,27 @@ public define HTML_Off_Form p(CoreAttrs attr, HTML_Off_Form content)
public define HTML_Off_Form p(List(HTML_Off_Form) content) = html_tag("p", [], content).
public define HTML_Off_Form p(HTML_Off_Form content) = html_tag("p", [], [content]).
+ //
preformatted
+public define HTML_Off_Form pre(List(CoreAttrs) attrs, List(HTML_Off_Form) content) = html_tag("pre", attrs, content).
+public define HTML_Off_Form pre(List(CoreAttrs) attrs, HTML_Off_Form content) = html_tag("pre", attrs, [content]).
+public define HTML_Off_Form pre(CoreAttrs attr, List(HTML_Off_Form) content) = html_tag("pre", [attr], content).
+public define HTML_Off_Form pre(CoreAttrs attr, HTML_Off_Form content) = html_tag("pre", [attr], [content]).
+public define HTML_Off_Form pre(List(HTML_Off_Form) content) = html_tag("pre", [], content).
+public define HTML_Off_Form pre(HTML_Off_Form content) = html_tag("pre", [], [content]).
+public define HTML_Off_Form pre(String string) = html_tag("pre", [], [text(string)]).
+public define HTML_Off_Form pre(CoreAttrs attr, String string) = html_tag("pre", [attr], [text(string)]).
+public define HTML_Off_Form pre(List(CoreAttrs) attrs, String string) = html_tag("pre", attrs, [text(string)]).
+
+ //