Toplinks
1 Like
the easiest way appears to be a theme component
Brand header theme component seems to do the job
described here: Best way to customize the header - Docs - Discourse Meta
component pager including install link: Brand header theme component - theme - Discourse Meta
Perhaps?
racket-lang.org,https://racket-lang.org,_blank
GitHub,https://github.com/racket/racket,_blank
Documentation,https://docs.racket-lang.org,_blank
PasteRack,http://pasterack.org,_blank
1 Like
Also if we have the dark header it should use the dark background logo?
2 Likes
This should be up now.
3 Likes
Oh! Including the links at the top! very nice.
1 Like
Is PasteRack down? Can’t seem to open http://pasterack.org
2 Likes
same here. No love.
aoeuaoeu now my post is > 20 chars
1 Like
I've logged an issue. Sorry it might take some time as we rely on the kindness of volunteers to keep the boxes humming.
In the meantime !rkt eval on the Racket Discord #bots channel may be an acceptable alternative: Racket discord invite link Racket
1 Like
PasteRack is back up thanks to Stephen Chang
1 Like