index.html: Remove navigation menu.

The page has become simple enough, making the navigation links useless.
The page no longer contains any <hr> tags, so remove the corresponding
part of the style sheet.

diff --git a/index.html.m4 b/index.html.m4
index 34e4b74159e965f7cd8a15fd0d97de6de6abc62b..2a55e34f9e11be683da1077cabfa40339b3e9e60 100644 (file)
--- a/index.html.m4
+++ b/index.html.m4
@@ -10,11 +10,6 @@ dnl SPDX-License-Identifier: GPL-2.0
                        background-color: #ffffff;
                        color: #333333;
                }
-
-               hr {
-                       background-color: #ffff00;
-               }
-
                a {
                        color: #4444ff;
                }
@@ -33,10 +28,6 @@ dnl SPDX-License-Identifier: GPL-2.0
                        </td>
                </tr>
        </table>
-       <hr>
-       [<a href="`#'installation">Installation</a>]
-       [<a href="`#'resources">Resources</a>]
-       <hr>
 
        <p> DESCRIPTION1() </p>
        <p> DESCRIPTION2() </p>