minor
* [FILE_EXT,FIX] Nondet file_name_type/3.
* [HTML_IMAGE,EXT] Set div dimensions.