From 80f9df9b15cffeec9a552bf2c5c5a0dc4d5fe93e Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Sat, 1 Sep 2007 21:48:59 +0000
Subject: [PATCH] Patch by Robin Stocker: fix unnecessary slowing styles.

---
 sphinx/style/default.css | 23 +++++++----------------
 1 file changed, 7 insertions(+), 16 deletions(-)

diff --git a/sphinx/style/default.css b/sphinx/style/default.css
index 08ff70613..deb0d5b90 100644
--- a/sphinx/style/default.css
+++ b/sphinx/style/default.css
@@ -529,11 +529,6 @@ div.body h4 { font-size: 120%; }
 div.body h5 { font-size: 110%; }
 div.body h6 { font-size: 100%; }
 
-a.headerlink,
-a.headerlink,
-a.headerlink,
-a.headerlink,
-a.headerlink,
 a.headerlink {
     color: #c60f0f;
     font-size: 0.8em;
@@ -542,20 +537,16 @@ a.headerlink {
     visibility: hidden;
 }
 
-*:hover > a.headerlink,
-*:hover > a.headerlink,
-*:hover > a.headerlink,
-*:hover > a.headerlink,
-*:hover > a.headerlink,
-*:hover > a.headerlink {
+h1:hover > a.headerlink,
+h2:hover > a.headerlink,
+h3:hover > a.headerlink,
+h4:hover > a.headerlink,
+h5:hover > a.headerlink,
+h6:hover > a.headerlink,
+dt:hover > a.headerlink {
     visibility: visible;
 }
 
-a.headerlink:hover,
-a.headerlink:hover,
-a.headerlink:hover,
-a.headerlink:hover,
-a.headerlink:hover,
 a.headerlink:hover {
     background-color: #c60f0f;
     color: white;