Differences From Artifact [3eb83629]:
- File tags-html.rkt — part of check-in [9bce92ab] at 2019-04-08 01:44:46 on branch trunk — Styling enhancements for series pages (user: joel, size: 7875) [annotate] [blame] [check-ins using]
To Artifact [4d4ea45a]:
- File tags-html.rkt — part of check-in [40ecb212] at 2019-04-11 03:23:07 on branch trunk — Fix paragraph decoding inside notes (user: joel, size: 7875) [annotate] [blame] [check-ins using]
︙ | |||
192 193 194 195 196 197 198 | 192 193 194 195 196 197 198 199 | - + | (fn-id fn-name) (format "~a" (+ 1 fnref-num)))]] "↩"))]) `(li [[id ,(fndef-id fn-name)]] ,@definition-text ,@backrefs)))) (cond [(null? note-items) ""] [else `(section ((class "footnotes")) (hr) (ol ,@note-items))])) (define (html-note attrs elems) |