Disabled category headings, for now.

dep/web/webrunner.js

@@ -633,12 +633,14 @@
 	}
 	
 	function makeElem(testID){
+/*
 		if ( tests[testID] ) {
 			var cat = tests[testID].category, catsm = cat.replace(/[^\w]/g, "-");
 			if ( !$("#" + catsm).length ) {
 				$("#main").append("<h2 id='" + catsm + "' class='test'><a href='?cat=" + cat +"'>" + cat + '</a><div class="bar"><div id="timebar" style="width:25%;"><span class="left">Est.&nbsp;Time:&nbsp;<strong id="left">0:00</strong></span></div></div>');
 			}
 		}
+*/
 		
 		testElems[testID] = $("<div class='test'></div>")
 			.click(function(){