.ui-tabs-nav{
	margin: 0 !important;
   padding: 0 !important;
	background-image: none !important;
	list-style: none none !important;
	background-color: transparent !important;
}

.ui-tabs-nav li{
	float: left  !important;
   padding: 0 !important;
   list-style: none none !important;
	background-image: none !important;
	background-color: transparent;
	/*min-width: 100px;  be nice to Opera */
}

.ui-tabs-nav a:link,
.ui-tabs-nav a:visited,
.ui-tabs-nav a:hover{ text-decoration: none !important; }

.ui-tabs-nav a, 
.ui-tabs-nav  a span{ 
	text-decoration: none !important;
	display: block !important;
	/* float: left;  fixes dir=ltr problem and other quirks IE */
}


.ui-tabs-nav a{
    white-space: nowrap !important; /* @ IE 6 */
    outline: 0; /* @ Firefox, prevent dotted border after click */
}


/*
playback timings (ms):
  exclusion.robots: 0.315
  RedisCDXSource: 45.041
  load_resource: 92.418
  esindex: 0.038
  captures_list: 984.531
  LoadShardBlock: 897.547 (3)
  PetaboxLoader3.resolve: 155.476 (3)
  PetaboxLoader3.datanode: 194.227 (4)
  exclusion.robots.policy: 0.294
  CDXLines.iter: 35.4 (3)
*/