From cd710a7718345b983f9a72e68f9b094ad31878cb Mon Sep 17 00:00:00 2001
From: Andy Konwinski <andyk@berkeley.edu>
Date: Mon, 8 Oct 2012 09:30:32 -0700
Subject: Fixes the small gap above the nav menu dropdown boxes and the
 hoverable menu items that was causing the dropdowns to go away when the user
 moved their mouse down towards them.

---
 docs/css/main.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs/css/main.css b/docs/css/main.css
index 84fe1d44ed..13fe0b8195 100755
--- a/docs/css/main.css
+++ b/docs/css/main.css
@@ -73,8 +73,13 @@ a:hover code {
  * using solution at http://stackoverflow.com/questions/8878033/how-
  * to-make-twitter-bootstrap-menu-dropdown-on-hover-rather-than-click
  **/
+.dropdown-menu {
+  /* Remove the default 2px top margin which causes a small
+    gap between the hover trigger area and the popup menu */
+  margin-top: 0;
+}
 ul.nav li.dropdown:hover ul.dropdown-menu{
-    display: block;
+  display: block;
 }
 a.menu:after, .dropdown-toggle:after {
   content: none;
-- 
cgit v1.2.3