Can we add top links for homepage, GitHub,

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

Looks AWESOME

Thanks @samth :smiley:

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