- Bugfix: changed id="menu" to class="menu" to avoid id="menu" being emitted

  twice.  Patch by Jim Riggs.

1 files changed, 9 insertions, 9 deletions

diff --git a/misc/drupal.css b/misc/drupal.css
index c90632226..61a1e5b4c 100644
--- a/misc/drupal.css
+++ b/misc/drupal.css
@@ -262,40 +262,40 @@ pre, code {
   color: red;
 }
 
-#menu {
+.menu {
   padding: 0 0 0 0.5em;
 }
-#menu ul {
+.menu ul {
   list-style: none;
   margin: 0;
   padding: 0 0 0.25em 1em;
   border: none;
   text-align:left;
 }
-#menu li {
+.menu li {
   margin: 0;
   padding: 0.2em 0.5em 0 0;
 }
-#menu li a {
+.menu li a {
   display: block;
   width: 100%;
   text-decoration: none;
 }
-#menu li a.active {
+.menu li a.active {
   color: #000;
 }
-#menu li a:hover {
+.menu li a:hover {
   color: #009;
 }
-#menu li.expanded {
+.menu li.expanded {
   list-style-type: circle;
   list-style-image: url(menu-expanded.gif);
 }
-#menu li.collapsed {
+.menu li.collapsed {
   list-style-type: disc;
   list-style-image: url(menu-collapsed.gif);
 }
-#menu li.leaf {
+.menu li.leaf {
   list-style-type: square;
   list-style-image: url(menu-leaf.gif);
 }