Skip to content

Fix navbars on dev sites after #11 #12

Closed
Bug
Closed
Fix navbars on dev sites after #11#12
Bug
Assignees
VisruthSK

Description

@jgabry
jgabry
opened on Sep 17, 2026

See #10 (comment)

Ideally this would be fixed by not having each package define its own navbar.

Activity

  1. jgabry
    assigned
    VisruthSK
    on Sep 17, 2026
  2. jgabry
    added the
    Bug
    issue type on Sep 17, 2026

  3. VisruthSK commented on Sep 27, 2026

    @VisruthSK
    VisruthSK
    on Sep 27, 2026
    Member

    All done!

  4. VisruthSK commented on Sep 27, 2026

    @VisruthSK
    VisruthSK
    on Sep 27, 2026 · Hidden as outdated
  5. VisruthSK
    closed this as completedon Sep 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

Bug

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions