From 098351b735ebac40e1a323ebcdc05fa84c8a36aa Mon Sep 17 00:00:00 2001
From: Andy Konwinski <andyk@berkeley.edu>
Date: Tue, 25 Sep 2012 15:42:50 -0700
Subject: Makes nav menu dropdowns show on hover instead of on click.

---
 docs/css/main.css | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/docs/css/main.css b/docs/css/main.css
index 263c8ef8ea..daecf33fc6 100755
--- a/docs/css/main.css
+++ b/docs/css/main.css
@@ -41,3 +41,16 @@ code {
 .container {
   max-width: 914px;
 }
+
+/**
+ * Make dropdown menus in nav bars show on hover instead of click
+ * using solution at http://stackoverflow.com/questions/8878033/how-
+ * to-make-twitter-bootstrap-menu-dropdown-on-hover-rather-than-click
+ **/
+ul.nav li.dropdown:hover ul.dropdown-menu{
+    display: block;
+}
+a.menu:after, .dropdown-toggle:after {
+  content: none;
+}
+
-- 
cgit v1.2.3