Add hover header links to the developer profiles pagesrelease_2012-04-26

This is a lot like you can see in the Python API documentation, and
makes it easy to copy a link to a given place on a page.

Signed-off-by: Dan McGee <dan@archlinux.org>

1 files changed, 10 insertions, 0 deletions

diff --git a/sitestatic/archweb.css b/sitestatic/archweb.css
index bc666d74..dcf0276a 100644
--- a/sitestatic/archweb.css
+++ b/sitestatic/archweb.css
@@ -122,6 +122,16 @@ a {
         color: #e90;
     }
 
+/* special anchor elements */
+a.headerlink {
+    visibility: hidden;
+    padding-left: 0.5em;
+}
+
+h3:hover > a.headerlink {
+    visibility: visible;
+}
+
 /* headings */
 h2 {
     font-size: 1.5em;