#3469: add variables for dropdown menu dividers

docs/less.html

@@ -614,6 +614,14 @@
             <td><code>@dropdownLinkBackgroundHover</code></td>
             <td><code>@linkColor</code></td>
           </tr>
+          <tr>
+            <td><code>@@dropdownDividerTop</code></td>
+            <td><code>#e5e5e5</code></td>
+          </tr>
+          <tr>
+            <td><code>@@dropdownDividerBottom</code></td>
+            <td><code>@white</code></td>
+          </tr>
         </tbody>
       </table>
       <h4>Hero unit</h4>

docs/templates/pages/less.mustache

@@ -537,6 +537,14 @@
             <td><code>@dropdownLinkBackgroundHover</code></td>
             <td><code>@linkColor</code></td>
           </tr>
+          <tr>
+            <td><code>@@dropdownDividerTop</code></td>
+            <td><code>#e5e5e5</code></td>
+          </tr>
+          <tr>
+            <td><code>@@dropdownDividerBottom</code></td>
+            <td><code>@white</code></td>
+          </tr>
         </tbody>
       </table>
       <h4>{{_i}}Hero unit{{/i}}</h4>

less/dropdowns.less

@@ -71,7 +71,7 @@
 
   // Dividers (basically an hr) within the dropdown
   .divider {
-    .nav-divider();
+    .nav-divider(@dropdownDividerTop, @dropdownDividerBottom);
   }
 
   // Links within the dropdown menu

less/mixins.less

@@ -417,7 +417,7 @@
 // Horizontal dividers
 // -------------------------
 // Dividers (basically an hr) within dropdowns and nav lists
-.nav-divider() {
+.nav-divider(@top: #e5e5e5, @bottom: @white) {
   // IE7 needs a set width since we gave a height. Restricting just
   // to IE7 to keep the 1px left/right space in other browsers.
   // It is unclear where IE is getting the extra space that we need
@@ -427,8 +427,8 @@
   margin: ((@baseLineHeight / 2) - 1) 1px; // 8px 1px
   *margin: -5px 0 5px;
   overflow: hidden;
-  background-color: #e5e5e5;
-  border-bottom: 1px solid @white;
+  background-color: @top;
+  border-bottom: 1px solid @bottom;
 }
 
 // Button backgrounds

less/variables.less

@@ -107,7 +107,8 @@
 @dropdownLinkColor:             @grayDark;
 @dropdownLinkColorHover:        @white;
 @dropdownLinkBackgroundHover:   @linkColor;
-
+@dropdownDividerTop:            #e5e5e5;
+@dropdownDividerBottom:         @white;