Commits

Nikolaj Sjujskij  committed ab9d502

Add anchors to dev headers

  • Participants
  • Parent commits d55ca69

Comments (0)

Files changed (2)

File static/base.css

     content: ']'
 }
 
+a.anchor {
+    visibility: hidden;
+}
+
+h2:hover a.anchor {
+    visibility: visible;
+}
+

File templates/index.html

     </div>
     {% for login, name in devs %}
     {% set usertckts = month_data.pop(login, {}) %}
-    <h2 id="{{ login }}">{{ name }}</h2>
+    <h2 id="{{ login }}">{{ name }}<a class="anchor" href="#{{ login }}">¶</a></h2>
     <h3>
         <a href="/{{ '%02d' | format(prev_month) }}/{{ prev_year }}#{{ login }}">◄</a>
         {{ month_name }} {{ year }}