Overview
| Comment: | Add custom Scribble styles |
|---|---|
| Timelines: | family | ancestors | descendants | both | doc-expansion |
| Files: | files | file ages | folders |
| SHA3-256: |
c7350de07b52c097e55157f674982163 |
| User & Date: | joel on 2020-01-19 04:36:21 |
| Other Links: | branch diff | manifest | tags |
Context
|
2020-01-19
| ||
| 05:35 | Filling in tour, design check-in: 71aa7cd9 user: joel tags: doc-expansion | |
| 04:36 | Add custom Scribble styles check-in: c7350de0 user: joel tags: doc-expansion | |
| 03:46 | Ignore generated Scribble support files check-in: 2c745dc9 user: joel tags: doc-expansion | |
Changes
Added code-docs/custom.css version [471eaf45].
Modified code-docs/scribble-helpers.rkt from [95058fad] to [d6d57bb0]. [diff]