All pastes #942730 Raw Edit

Untitled

public html v1 · immutable
·published 2008-03-14 18:40 UTC
rendered paste body
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><html>	<head>		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">		<title></title>		<script type="text/javascript">			function printProps() {				var methods = "";				for(i in document.getElementById("text")) methods += i + ", ";				alert(methods);			}			function centreText() {				var myWidth = 0, myHeight = 0;				if( typeof( window.innerWidth ) == 'number' ) {					//Non-IE					myWidth = window.innerWidth;					myHeight = window.innerHeight;				}				else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {					//IE 6+ in 'standards compliant mode'					myWidth = document.documentElement.clientWidth;					myHeight = document.documentElement.clientHeight;				}				else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {					//IE 4 compatible					myWidth = document.body.clientWidth;					myHeight = document.body.clientHeight;				}				var text = document.getElementById("text");				text.style.position = "absolute";				text.style.left = (myWidth / 2 - text.clientWidth / 2) + "px";				text.style.top = (myHeight / 2 - text.clientHeight / 2) + "px";			}			function mouseOver()			{				document.body.style.backgroundColor = '#00CC00';				document.getElementById("text").style.color = '#000000';			}						function mouseOut()			{				document.body.style.backgroundColor = '#000000';				document.getElementById("text").style.color = '#00CC00';			}		</script>		<style type="text/css">			body {				background-color: #000000;			}			div {				font-size: 50.0pt;				color: #00CC00;			}		</style>	</head>	<body onload="centreText();">		<div id="text" onmouseover="mouseOver();" onmouseout="mouseOut();">?_?</div>	</body></html>