Update default.html

edit DOCTYPE tag in hopes it will render <code> tags better