@@ -41,13 +41,17 @@
`(div
(@ (class "package-preview"))
(h3
- (@ (class "package-name"))
+ (@ (class "package-name") (id ,(package-name package)))
,(package-name package) " " ,(package-version package) " "
,(if (package-issues? package) '(span (@ (class "red-tag")) "") " ")
(span
(@ (class "package-synopsis"))
" — "
- ,(package-synopsis-shtml package)))
+ ,(package-synopsis-shtml package))
+ (a
+ (@ (class "headerlink") (title "Permalink to this package")
+ (href ,(string-append "#" (package-name package))))
+ " ¶"))
(div
(@ (class "package-description"))
@@ -40,4 +40,21 @@
display: inline-block;
height: 13px;
width: 22px;
-}
\ No newline at end of file
+}
+
+a.headerlink {
+ visibility: hidden;
+}
+
+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,
+caption:hover > a.headerlink,
+p.caption:hover > a.headerlink,
+div.code-block-caption:hover > a.headerlink {
+ visibility: visible;
+}