diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index 6f02584..ce90cb5 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/web/CXM_making_a_web_site.anubis @@ -1040,9 +1040,47 @@ public type TextAreaOption: public type CSS_Style: text_options(List(Text_Option)). +public type CSS_File_Media: + screen, //Intended for non-paged computer screens. + tty, //Intended for media using a fixed-pitch character grid, such as teletypes, terminals, or portable devices with limited display capabilities. + tv, //Intended for television-type devices (low resolution, color, limited scrollability). + projection, //Intended for projectors. + handheld, //Intended for handheld devices (small screen, monochrome, bitmapped graphics, limited bandwidth). + print, //Intended for paged, opaque material and for documents viewed on screen in print preview mode. + braille, //Intended for braille tactile feedback devices. + aural, //Intended for speech synthesizers. + all. //Suitable for all devices. + +public define String + to_String + ( + CSS_File_Media css_file_media + )= + if css_file_media is + { + screen then "screen", + tty then "tty", + tv then "tv", + projection then "projection", + handheld then "handheld", + print then "print", + braille then "braille", + aural then "aural", + all then "all" + }. + + + . public type CSS_File: - css_file(String file_name). + css_file(String file_name, CSS_File_Media). +public define CSS_File + css_file + ( + String file_name + )= + css_file(file_name, all). + public type JS_Attribute: attr (String, String). @@ -3927,17 +3965,18 @@ define Printable_tree }. define Printable_tree - add_css_files - ( - List(CSS_File) l - ) = - if l is - { - [ ] then [ ], - [h . t] then - [ ["\n" ] + add_css_files + ( + List(CSS_File) l + ) = + if l is + { + [ ] then [ ], + [h . t] then + since h is css_file(file_name, media), + [ ["\n" ] . add_css_files(t)] - }. + }. define Printable_tree add_js_files_attributes -- libgit2 0.21.4