Skip to content

Add Discord and Manual links to website sticky menu#809

Merged
schollz merged 3 commits intomainfrom
copilot/add-discord-link-button
Feb 8, 2026
Merged

Add Discord and Manual links to website sticky menu#809
schollz merged 3 commits intomainfrom
copilot/add-discord-link-button

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Feb 8, 2026

Adds community Discord link (https://discord.gg/p4J5zVSe) to the website navigation menu alongside a new Manual link for the quickstart PDF.

Changes

  • Sticky menu additions in docs/themes/zeptocore/layouts/_default/baseof.html:

    • Manual link → /img/zeptocore_quickstart.pdf (book icon)
    • Discord link → community invite (Discord icon)
    • Both positioned after Firmware in left sidebar
  • Security/accessibility: Links include rel="noopener noreferrer" and aria-label attributes for external navigation

Preview

Sticky menu with new Manual and Discord links

Both links open in new tabs and appear in the sticky menu after scrolling.

Original prompt

This section details on the original issue you should resolve

<issue_title>add link</issue_title>
<issue_description>In core, in website, to the right of the manual link put a icon and link to join the discord: Add a button to link to the discord! https://discord.gg/p4J5zVSe</issue_description>

Comments on the Issue (you are @copilot in this section)


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI and others added 2 commits February 8, 2026 19:33
Co-authored-by: schollz <6550035+schollz@users.noreply.github.com>
…abels)

Co-authored-by: schollz <6550035+schollz@users.noreply.github.com>
Copilot AI changed the title [WIP] Add button to link to Discord channel Add Discord and Manual links to website sticky menu Feb 8, 2026
Copilot AI requested a review from schollz February 8, 2026 19:35
@schollz schollz marked this pull request as ready for review February 8, 2026 20:06
@schollz schollz merged commit 5ffd3f2 into main Feb 8, 2026
@schollz schollz deleted the copilot/add-discord-link-button branch February 8, 2026 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

add link

2 participants