/*
     FILE ARCHIVED ON 19:44:49 May 18, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 1:18:41 Jul 22, 2016.
     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)).
*/
input.tx {
	border : 1px solid #888888;
}
input.txh, p.txh {
	border : 1px solid #A70C0C;
	background-color : #F5E5E5;
}
p.h {
	color: #A70C0C;
	font-weight: bold;
}