anchor.diff:  ul li a:hover {
     color: #c14242;
   }
  +ul li a.no_pointer {
  +  cursor: text;
  +}
   </style>
   <% if current_user %>
     <div id="menu">
  
positive.code:       <% end %>
  
        <% if plugins_menu_links.any? %>
          <li> <a id="plugins_button" href="#"> <%=t 'menu.modules' %></a>
            <ul class="submenu">
              <% plugins_menu_links.each do |link| %>
              <li> <%= link %> </li>
  
negative.code:       <% end %>
  
        <% if current_user.may_index_providers? %>
          <li><a class="no_pointer" href="javascript:void(null)"><%= t('menu.providers') %></a>
            <ul class="submenu">
              <% if current_user.may_index_providers? %>
                <li><%= link_to t('menu.providers'), providers_path %></li>
  