changeset 32:0a1d61be7811

Remove style selector, as we no longer have that functionality.
author Matti Hamalainen <ccr@tnsp.org>
date Thu, 29 Mar 2018 12:18:40 +0300
parents f5b4459f4373
children 3bb56a94c4f5
files index.php
diffstat 1 files changed, 0 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/index.php	Thu Mar 29 12:18:23 2018 +0300
+++ b/index.php	Thu Mar 29 12:18:40 2018 +0300
@@ -219,13 +219,6 @@
   "  <td rowspan=\"3\" class=\"infobox\">\n".
   "   [<a href=\"".$pageIndex."\">Reset/Clear</a>] ".
   "[<a href=\"info.php\">Alloy browser</a>]\n".
-  "   - <b>CHANGE COLOURS/STYLE: ";
-
-for ($i = 1; $i <= 4; $i++)
-   echo "<a href=\"?css=".$i."\">(".$i.")</a> ";
-
-echo
-   "</b>\n".
   "   <br />\n".
   "   <ul>\n".
   implode("\n", array_map(function($msg){ return "    <li>".$msg."</li>"; }, $infoNotes)).