Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make glossary entries more Airlock-specific #748

Merged
merged 3 commits into from
Jan 23, 2025
Merged

Make glossary entries more Airlock-specific #748

merged 3 commits into from
Jan 23, 2025

Conversation

rebkwok
Copy link
Contributor

@rebkwok rebkwok commented Jan 22, 2025

Fixes #1701

  1. Make glossary entries more Airlock-specific
    This will prevent the airlock glossary being triggered in the main
    docs for commonly-used terms (e.g. "vote") used in a non-Airlock
    context.
    Plus some incidental typo fixes

  2. Update navigation
    Remove unused footer navigation - this is handled by the navigation
    theme defined in mkdocs.yml.
    Also updates some section titles (so that the navigation shows e.g.
    "Reference" instead of "Index"

This will prevent the airlock glossary being triggered in the main
docs for commonly-used terms (e.g. "vote") used in a non-Airlock
context.
Remove unused footer navigation - this is handled by the navigation
theme defined in mkdocs.yml.

Also updates some section titles (so that the navigation shows e.g.
"Reference" instead of "Index"
@rebkwok rebkwok changed the title Glossary Make glossary entries more Airlock-specific Jan 22, 2025
madwort
madwort previously approved these changes Jan 22, 2025
Co-authored-by: Tom Ward <tomward@fmail.co.uk>
Copy link

Deploying airlock-docs with  Cloudflare Pages  Cloudflare Pages

Latest commit: 52087a3
Status: ✅  Deploy successful!
Preview URL: https://0f43ed11.airlock.pages.dev
Branch Preview URL: https://glossary.airlock.pages.dev

View logs

@rebkwok rebkwok merged commit e5f2e8b into main Jan 23, 2025
11 checks passed
@rebkwok rebkwok deleted the glossary branch January 23, 2025 13:10
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.

Airlock glossary terms are adding tooltips on all pages
3 participants