Overview
| Comment: | Link to index.html explicitly in header |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
174a0398330c9813d7a503cd5aedc857 |
| User & Date: | joel on 2019-07-28 16:22:59 |
| Other Links: | manifest | tags |
Context
|
2019-07-28
| ||
| 16:36 | Add rough home page, finally close [3514e657bf79a443] check-in: a770b922 user: joel tags: trunk | |
| 16:22 | Link to index.html explicitly in header check-in: 174a0398 user: joel tags: trunk | |
|
2019-07-14
| ||
| 18:56 | Nudge footnote links check-in: f186c0cb user: joel tags: trunk | |
Changes
Modified snippets-html.rkt from [7b620fd5] to [1d57c14f].
| ︙ | |||
36 37 38 39 40 41 42 | 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | - + |
<meta name="generator" content="Racket ◊(version) + Pollen ◊|pollen:version|">
<link rel="stylesheet" type="text/css" href="/web-extra/martin.css">
◊if[close-head? "</head>" ""]})
(define (html$-page-body-open [class ""])
(define body-class (if (non-empty-string? class) (format " class=\"~a\"" class) ""))
◊string-append{<body◊|body-class|><main>
|
| ︙ |