diff --git a/htroot/Crawler_p.html b/htroot/Crawler_p.html index 545857268..81f144ecb 100644 --- a/htroot/Crawler_p.html +++ b/htroot/Crawler_p.html @@ -79,7 +79,7 @@ #(terminate-button)#:: -
+
diff --git a/htroot/env/templates/header.template b/htroot/env/templates/header.template index bce6df579..333b63165 100644 --- a/htroot/env/templates/header.template +++ b/htroot/env/templates/header.template @@ -23,14 +23,14 @@