summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sitestatic/archweb.css10
-rw-r--r--templates/public/developer_list.html4
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>