HTML.js - display full webpage source (document.documentElement.outerHTML) into a new tab popup

HTML.js

// HTML.js - display full webpage source (document.documentElement.outerHTML) into a new tab popup

// RUN = 304 char:	javascript:void function(){let a=open("about:blank").document,b=a.body;b.appendChild(a.createElement("b")).innerText=a.title=`Source code of ${location.href}`;let c=b.appendChild(a.createElement("pre"));c.innerText=document.documentElement.outerHTML,c.style.whiteSpace="pre-wrap",c.style.color="blue"}();

let doc = open('about:blank').document;
let body = doc.body;
let tagForTitle = "b";

body.appendChild(doc.createElement(tagForTitle)).innerText = doc.title = `Source code of ${location.href}`;

let pre = body.appendChild(doc.createElement("pre"));
let color = "blue";

pre.innerText = document.documentElement.outerHTML;
pre.style.whiteSpace = 'pre-wrap';		// overflow: 'auto',	// apparently overflow is no longer needed?
pre.style.color = color;