cristiancmoises
/
hauntweb
mirror of https://github.com/cristiancmoises/cristiancmoises.github.io
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update useful.scm

main
Cristian Cezar Moisés 2024-02-13 03:01:49 +00:00 committed by GitHub
parent 2e0b3888d9
commit c9538946c7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
useful.scm
View File

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