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]
| ︙ | |||
194 195 196 197 198 | 194 195 196 197 198 199 | - + |
`(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)
|