Index: template-html.rkt ================================================================== --- template-html.rkt +++ template-html.rkt @@ -114,15 +114,15 @@ (define (html$-note-listing-full pagenode note-id title-html-flow date contents [author default-authorname] [author-url ""]) (define author-part (cond [(non-empty-string? author-url) ◊string-append{
- —◊|author| + —◊|author|
}] [else ◊string-append{
- —◊|author| + —◊|author|
}])) (define maybe-author-class? (cond [(string=? author default-authorname) "by-proprietor"] [else ""])) @@ -148,14 +148,14 @@
◊contents
- —◊|author| + —◊|author|
}) (define (html$-notes-section note-htmls) ◊string-append{

Further Notes

◊(apply string-append note-htmls)
}) Index: web-extra/martin.css.pp ================================================================== --- web-extra/martin.css.pp +++ web-extra/martin.css.pp @@ -491,12 +491,12 @@ font-style: italic; } div.note-meta { margin-top: ◊x-lineheight[1]; - font-feature-settings: "smcp" on; color: #888; + font-size: 1.2rem; } .by-proprietor .note-meta { display: none; }