/* default menu for hover */

#cursorMessageDiv {
    
	position: absolute;
	z-index: 99999;
	border: 2px solid #cacaca;
	background: #f0f0f0;
	padding: 7px;
    padding-left: 10px;
    padding-right: 10px;
	margin-left: 5px;
    float: right;
	display: none;
    font-family: "Helvetica";
    font-size: 13px;
    -moz-border-radius: 2px; border-radius: 2px; -webkit-border-radius: 2px; 
    text-shadow: 1px 1px 2px #c8c8c8;
    
}
/*
     FILE ARCHIVED ON 00:23:51 Mar 16, 2015 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:03:33 Aug 31, 2025.
     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)).
*/
/*
playback timings (ms):
  captures_list: 0.508
  exclusion.robots: 0.024
  exclusion.robots.policy: 0.015
  esindex: 0.009
  cdx.remote: 23.443
  LoadShardBlock: 413.606 (3)
  PetaboxLoader3.datanode: 913.884 (5)
  PetaboxLoader3.resolve: 320.3 (3)
  load_resource: 826.823 (2)
*/