Added a doctype, charset and removed spacing in ex1 HTML