floating_menu renamed

diff --git a/htdocs/cgi-bin/wsrc/main.css b/htdocs/cgi-bin/wsrc/main.css
index 1f5559803a53edd3a1f4eb557fabf2a639ad3847..c1490d469e891cb87459ae9e80d19efb47feda2c 100644 (file)
--- a/htdocs/cgi-bin/wsrc/main.css
+++ b/htdocs/cgi-bin/wsrc/main.css
@@ -133,7 +133,7 @@ img {
     text-decoration-style: wavy;
 }
 
-#floating_menu {
+#menu {
     position: fixed;
     float: left;
     margin: 0;