diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index 35e633d..c025f64 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/web/CXM_making_a_web_site.anubis @@ -1050,7 +1050,21 @@ public type HTML_Partial_Content: HTML_Off_Form ) . - + +public define List(HTML_Head_Tag) + to_HTML_Head_Tag + ( + List(CSS_File) css_file_list + )= + map((CSS_File css_f) |-> css(css_f), css_file_list). + +public define List(HTML_Head_Tag) + to_HTML_Head_Tag + ( + List(JS_File) js_file_list + )= + map((JS_File js_f) |-> js(js_f), js_file_list). + public type HTML_In_Form: literal_pt (Printable_tree), literal (String), -- libgit2 0.21.4