diff --git a/htroot/CrawlResults.html b/htroot/CrawlResults.html index a4476312c..8805ca2d5 100644 --- a/htroot/CrawlResults.html +++ b/htroot/CrawlResults.html @@ -95,7 +95,7 @@ - + @@ -107,7 +107,7 @@ - + @@ -149,7 +149,7 @@
- +
diff --git a/htroot/Crawler_p.html b/htroot/Crawler_p.html index a3ad10e33..8c0105977 100644 --- a/htroot/Crawler_p.html +++ b/htroot/Crawler_p.html @@ -81,7 +81,7 @@ #(terminate-button)#::
- +
#(/terminate-button)# @@ -231,7 +231,7 @@ document.getElementById("queues").style.height = maxh + "px";
Running
- +
#(/terminateButton)# diff --git a/htroot/Table_API_p.html b/htroot/Table_API_p.html index 4f53c4d3f..6d1a46a72 100644 --- a/htroot/Table_API_p.html +++ b/htroot/Table_API_p.html @@ -167,20 +167,28 @@ To see a list of all APIs, please visit the -      -     -
+

+

+     +     +
+

+

+

+ + +