--- a/www/loc.php	Fri Jun 16 15:06:49 2017 +0300
+++ b/www/loc.php	Thu Jun 29 17:08:40 2017 +0300
@@ -188,8 +188,8 @@
 }
 
 mpPrintPageHeader($pageTitle." - Locations",
-  "<script type=\"text/javascript\" src=\"tooltip.js\"></script>\n".
-  "<meta name=\"robots\" content=\"nofollow\" />\n");
+  "  <script type=\"text/javascript\" src=\"tooltip.js\"></script>\n".
+  "  <meta name=\"robots\" content=\"nofollow\" />\n");
 
 echo
   "<h1>".$mtitle."BatMUD".(isset($coderName) ? " by ".chentities($coderName) : "")."</h1>\n".
@@ -197,19 +197,19 @@
   "<div class=\"controls\">\n";
 
 if (isset($setName))
-  echo "<input type=\"hidden\" name=\"n\" value=\"".chentities($setName)."\" />\n";
+  echo "  <input type=\"hidden\" name=\"n\" value=\"".chentities($setName)."\" />\n";
 
-echo "<select class=\"control dropdown\" name=\"f\" onChange=\"this.form.submit();\">\n";
+echo "  <select class=\"control dropdown\" name=\"f\" onChange=\"this.form.submit();\">\n";
 foreach ($locationTypes as $id => $type)
 {
   echo
-    "   <option value=\"".$id."\"".
+    "    <option value=\"".$id."\"".
     (($applyFilter && $filter == $id) ? " selected=\"selected\"" : "").
     ">".$type[3]."</option>\n";
 }
 echo
-  "</select>\n".
-  "<noscript><input type=\"submit\" value=\" Update \" class=\"control submit\" /></noscript>\n";
+  "  </select>\n".
+  "  <noscript><input type=\"submit\" value=\" Update \" class=\"control submit\" /></noscript>\n";
 
 
 printTitleLink($applyFilter, $filter, $showCoders, "All&nbsp;continents", "", "all");