Commit 9a72b233c295925cc8b6afbd35d1ad14084be18a

Authored by totoro
1 parent a8f2e530

add media target for css file

Showing 1 changed file with 2 additions and 1 deletions   Show diff stats
web/CXM_making_a_web_site.anubis
... ... @@ -4578,7 +4578,8 @@ define Printable_tree
4578 4578 script(type, _) then ["<script type=\"" + type + "\">"+content(jsi)+"</script>\n" . _format_html_head(t, so_far)],
4579 4579 }
4580 4580 css(cssf) then
4581   - ["<link rel=\"stylesheet\" type=\"text/css\" href=\""+file_name(cssf)+"\" />\n" . _format_html_head(t, so_far)],
  4581 + since cssf is css_file(file_name, media),
  4582 + ["<link rel=\"stylesheet\" type=\"text/css\" href=\""+file_name+"\" media=\""+to_String(media)+"\" />\n" . _format_html_head(t, so_far)],
4582 4583 css_inline(cssi) then
4583 4584 ["<style>"+cssi+"</style>\n" . _format_html_head(t, so_far)]
4584 4585 }
... ...