From fbbcc8534a25d3e78ef3a319c8aeb127bc5085f0 Mon Sep 17 00:00:00 2001
From: Dan McGee <dan@archlinux.org>
Date: Thu, 26 Apr 2012 14:44:52 -0500
Subject: Add hover header links to the developer profiles pages

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>
---
 sitestatic/archweb.css               | 10 ++++++++++
 templates/public/developer_list.html |  4 ++--
 2 files changed, 12 insertions(+), 2 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;
diff --git a/templates/public/developer_list.html b/templates/public/developer_list.html
index 00d93a50..376ab433 100644
--- a/templates/public/developer_list.html
+++ b/templates/public/developer_list.html
@@ -17,8 +17,8 @@
             <img src="{{ prof.picture.url }}" height="125" width="125" alt="Image for {{ prof.alias }}"/>
         </td>
         <td>
-            <a name="{{ dev.username }}"></a>
-            <h3>{{ dev.get_full_name }}{% if prof.latin_name %} ({{ prof.latin_name}}){% endif %}</h3>
+            <h3>{{ dev.get_full_name }}{% if prof.latin_name %} ({{ prof.latin_name}}){% endif %}
+            <a class="headerlink" name="{{ dev.username }}" id="{{ dev.username }}" href="#{{ dev.username }}" title="Permalink">¶</a></h3>
             <table class="bio bio-{{ dev.username }}">
                 <tr>
                     <th>Alias:</th>
-- 
cgit v1.2.3-55-g3dc8