GUACAMOLE-5: Use more semantically-sound "menu-contents" class.

guacamole/src/main/webapp/app/navigation/styles/menu.css

@@ -91,7 +91,7 @@
 
 }
 
-.menu-dropdown .options {
+.menu-dropdown .menu-contents {
 
     visibility: hidden;
 
@@ -110,21 +110,21 @@
     
 }
 
-.menu-dropdown .options ul {
+.menu-dropdown .menu-contents ul {
     margin: 0;
     padding: 0;
 }
 
-.menu-dropdown.open .options {
+.menu-dropdown.open .menu-contents {
     visibility: visible;
 }
 
-.menu-dropdown .options li {
+.menu-dropdown .menu-contents li {
     padding: 0;
     list-style-type: none;
 }
 
-.menu-dropdown .options li a {
+.menu-dropdown .menu-contents li a {
 
     display: block;
     cursor: pointer;
@@ -134,23 +134,23 @@
 
 }
 
-.menu-dropdown .options li a:hover {
+.menu-dropdown .menu-contents li a:hover {
     background-color: #CDA;
 }
 
-.menu-dropdown .options li a.current,
-.menu-dropdown .options li a.current:hover {
+.menu-dropdown .menu-contents li a.current,
+.menu-dropdown .menu-contents li a.current:hover {
     background-color: transparent;
     cursor: default;
     opacity: 0.25;
 }
 
-.menu-dropdown .options li a.danger {
+.menu-dropdown .menu-contents li a.danger {
     color: white;
     font-weight: bold;
     background-color: #A43;
 }
 
-.menu-dropdown .options li a.danger:hover {
+.menu-dropdown .menu-contents li a.danger:hover {
     background-color: #C54;
 }