# {% for js_file in js_files %} {% insert_str prelude js_file %} {% endfor %}
# {% for css_file in css_files %} {% insert_str prelude css_file %} {% endfor %}
# somehow however this would not work too well,
# probably insert_above is not powerful enough to handle that
#
# so a much simpler and safer approach is for use to compute the html header directly
# {% for js_file in js_files %} {% insert_str prelude js_file %} {% endfor %}
# {% for css_file in css_files %} {% insert_str prelude css_file %} {% endfor %}
# somehow however this would not work too well,
# probably insert_above is not powerful enough to handle that
#
# so a much simpler and safer approach is for use to compute the html header directly