/*
     FILE ARCHIVED ON 17:34:14 Dec 20, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:17:13 Apr 24, 2014.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
body {
	font-family: "Tahoma";
	font-size: 80%;
}

div.demo {
	padding:12px;
	font-size: 80%;
	font-family: "Tahoma";
}

div.demo-description {
	clear:both;
	padding: 0 12px;
	font-family: "Tahoma";
	line-height: 1.4em;
}

.syntaxhighlighter
{
	margin: 1em 12px !important;
}