body
{
	background-repeat: repeat-y;
	background-color: #CCCCCC;
	background-image: url(../images/body_bg.jpg);
	background-position: top center;
	color: #4C4C4C;
	line-height: 1.4em;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 75%;
	text-align: center;
}

img { border: 0; }
h1 { padding: 10px; margin: 0; font-size: large }
div.demo, div.inner { color: #000; text-align: center; font-family: verdana, arial, sans-serif;}
div.pubs, div.inner { color: #000; text-align: center; font-family: verdana, arial, sans-serif}
div.header { margin-left: auto; margin-right: auto; margin-top: 0px; padding-top: 0px; background: #003366; width: 550px; padding: 10px; color: #ffffff; }
div.footer { margin-left: auto; margin-right: auto; margin-top: 25px; background: #1462b0; width: 400px; padding: 1px; color: #a6b8ca; }
div.demo  { margin-left: auto; margin-right: auto; width: 18em; padding: 10px; margin-top: 25px; background: #99cc33; color:#ffffff; }
div.demo a { color: #dbedb8;}
div.pubs  { text-align: left; margin-left: auto; margin-right: auto; width: 60em; padding: 10px; margin-top: 25px; background: #c1c1c1; color: black; }
div.pubs a { color: black;}
div.inner { margin: 0; background: #ffc; padding: 10px; border:0; zoom:1;}
div.outer { float: left; margin: 15px; background: #c82; padding: 8px; width: 22em }
div.fun   { margin: 2px; }
div.links img { margin-left: 5px; margin-top: 10px;}
div#readyTest { background-color: #6af; float: right; padding: 10px; height: 20px }