Index: template-html.rkt ================================================================== --- template-html.rkt +++ template-html.rkt @@ -142,11 +142,11 @@ (define maybe-author-class? (cond [(or (string=? author default-authorname) (string=? author "")) "by-proprietor"] [else ""])) ◊string-append{
+
◊contents
Index: web-extra/martin.css.pp
==================================================================
--- web-extra/martin.css.pp
+++ web-extra/martin.css.pp
@@ -151,14 +151,12 @@
main header:hover h1 {
color: ◊color-bodytext;
/* transition: color 0.25s ease; */
}
- /* Links. Generally, we want them colored that weird springy green, underlines
- only when hovered, thanks.
- I read somewhere years ago that you should specify styling for links in the
+ /* I read somewhere years ago that you should specify styling for links in the
following order: Link, Visited, Hover, Active.
→ Remember the mnemonic: Lord Vader Has Arrived.
Not sure if that's relevant advice any more but I still follow it. It can't hurt. */
@@ -257,11 +255,11 @@
margin-left: 4px;
font-style: normal;
color: #809102;
}
a.rel-bookmark.note-permlink::after {
- content: '-'; /* NB: this is not a hyphen! It is a U+002D glyph, the Unicode “minus sign” */
+ content: '\f897';
margin-left: 4px;
}
a.rel-bookmark:hover::after {
color: #aaba16;