javascript: (function(all){var a=window.open('about:blank').document;a.write('<!DOCTYPE html><html><head><title>Source of '+location.href+'</title> <meta name="viewport" content="width=device-width"> </head><body></body></html>');a.close();var b=a.body.appendChild(a.createElement('pre')); b.style.overflow='auto'; b.style.whiteSpace='pre-wrap'; b.appendChild(a.createTextNode(all? document.documentElement.innerHTML: document.documentElement.innerHTML .split('<tbody>').join('') .split('</tbody>').join('')))})(false); |