Skip to content

Remove navigation.indexes from Zensical features#35

Merged
Marius Storhaug (MariusStorhaug) merged 1 commit into
mainfrom
remove-zensical-menu-header
Jul 25, 2026
Merged

Remove navigation.indexes from Zensical features#35
Marius Storhaug (MariusStorhaug) merged 1 commit into
mainfrom
remove-zensical-menu-header

Conversation

@MariusStorhaug

Copy link
Copy Markdown
Member

Summary

Removes navigation.indexes from the Zensical theme features in .github/zensical.toml.

What changed

  • Dropped navigation.indexes from the [project.theme] features list

Why

navigation.indexes creates clickable section index headers in the left-side navigation menu of the generated Zensical docs site. Removing it eliminates that visual header, resulting in a cleaner left-side navigation without the section-level heading element.

Removes the left-side menu header in the Zensical-generated docs site.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@github-actions

Copy link
Copy Markdown

No Significant Changes Detected

This PR does not contain changes to files that would trigger a new release:

Pattern Description
^src/ Matches files where path matches this pattern
^README\.md$ Matches files where path matches this pattern

Build, test, and publish stages will be skipped for this PR.

If you believe this is incorrect, please verify that your changes are in the correct locations.

@github-actions

Copy link
Copy Markdown

Super-linter summary

Language Validation result
CHECKOV Pass ✅
GITHUB_ACTIONS Pass ✅
GITLEAKS Pass ✅
GIT_MERGE_CONFLICT_MARKERS Pass ✅
MARKDOWN Pass ✅
NATURAL_LANGUAGE Pass ✅
POWERSHELL Pass ✅
PRE_COMMIT Pass ✅
SPELL_CODESPELL Pass ✅
TRIVY Pass ✅
YAML Pass ✅

All files and directories linted successfully

For more information, see the GitHub Actions workflow run

Powered by Super-linter

@MariusStorhaug
Marius Storhaug (MariusStorhaug) marked this pull request as ready for review July 25, 2026 17:27
@MariusStorhaug
Marius Storhaug (MariusStorhaug) merged commit 479cb76 into main Jul 25, 2026
28 checks passed
@MariusStorhaug
Marius Storhaug (MariusStorhaug) deleted the remove-zensical-menu-header branch July 25, 2026 17:28
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.

1 participant