Update HTML code in File Manager

Tidy up the HTML code in File Manager, update the DOCTYPE to the correct
definition, update the SCRIPT tags, deprecate the ampersand in HREF and misc. small updates.