script: html5shiv printshiv+*machine input
script: html5shiv printshiv
!function(e,t){function n(e,t){var n=e.createElement("p"),r=e.getElementsByTagName("head")[0]||e.documentElement;return n.innerHTML="x<style>"+t+
...