Update useful.scm

main
Cristian Cezar Moisés 2024-02-13 03:09:04 +00:00 committed by GitHub
parent dd6b715579
commit b0376f5742
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions

View File

@ -122,9 +122,9 @@
(define (header-box) (define (header-box)
`(div (@ (id "block")) `(div (@ (id "block"))
(p "+>---------------------------<+") (p "+>---------------------------<+")
(p ,(link* "About" "/site/about.html")-- (p ,(link* "About" "https://cristiancmoises.github.io/site/about.html")--
,(link* "Research" "/site/research.html")-- ,(link* "Research" "https://cristiancmoises.github.io/site/research.html")--
,(link* "Miscellany" "/site/misc.html")) ,(link* "Miscellany" "https://cristiancmoises.github.io/site/misc.html"))
(p "+>---------------------------<+") (p "+>---------------------------<+")
(br))) (br)))