Overview
| Comment: | No empty “Further Notes” sections |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
542a013e37a50d142b8a96020924872d |
| User & Date: | joel on 2020-05-11 01:59:24 |
| Other Links: | manifest | tags |
Context
|
2020-05-11
| ||
| 02:01 | Render home page from pollen/markup (Fixes [629a9c063beb5809]) check-in: 9998fecb user: joel tags: trunk | |
| 01:59 | No empty “Further Notes” sections check-in: 542a013e user: joel tags: trunk | |
| 01:58 | Explicitly preserve footnote and link state per page (Pollen no longer guarantees this) check-in: 8b3cc120 user: joel tags: trunk | |
Changes
Modified snippets-html.rkt from [9c1944e9] to [942ec997].
| ︙ | ︙ | |||
183 184 185 186 187 188 189 | </div> <div class="note-meta"> —◊author-part </div> </div>}) (define (html$-notes-section note-htmls) | > > > | | | | | 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 |
</div>
<div class="note-meta">
—◊author-part
</div>
</div>})
(define (html$-notes-section note-htmls)
(cond
[(null? note-htmls) ""]
[else
◊string-append{<div class="further-notes" id="furthernotes">
<h2>Further Notes</h2>
◊(apply string-append note-htmls)
</div>}]))
;; (private) Returns HTML for a list-item link to a particular page in a set of numbered pages
(define (html$-paginate-link basename pagenum [linktext (number->string pagenum)] [class ""])
(define cstr (if (non-empty-string? class) (format " class=\"~a\"" class) ""))
(format "<li~a><a href=\"/~a-pg~a.html\">~a</a></li>" cstr basename pagenum linktext))
;; Returns HTML for a series of list items with links to numbered pages
|
| ︙ | ︙ |