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;