The text should appear as selected below, so you should be able to just copy it (with Ctrl+C or equivalent) and paste it in a file. Then use a doctype declaration of the form <!DOCTYPE html system "absurl"> where absurl is the absolute URL (starting with http://) of the DTD.
<!DOCTYPE html system "absurl">
http://