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

Better space management in doc #897

Closed
FlorianJacta opened this issue Apr 2, 2024 · 6 comments · Fixed by #1042
Closed

Better space management in doc #897

FlorianJacta opened this issue Apr 2, 2024 · 6 comments · Fixed by #1042
Assignees
Labels
❌ Blocked Issue is blocked 📄 Documentation Internal or public documentation 🆘 Help wanted Open to participation from the community 📈 Improvement Improvement of a feature. 🟨 Priority: Medium Not blocking but should be fixed soon

Comments

@FlorianJacta
Copy link
Member

Description
When the page contains no titles and subtitles, TOC (the blank area in orange here) should be disabled to let content (the area in red) expand to the right.

image

@FlorianJacta FlorianJacta added 📈 Improvement Improvement of a feature. 📄 Documentation Internal or public documentation labels Apr 2, 2024
@jrobinAV jrobinAV added 🟨 Priority: Medium Not blocking but should be fixed soon 🆘 Help wanted Open to participation from the community labels Apr 26, 2024
@Satoshi-Sh
Copy link
Contributor

I want to take this issue.

I have a question. It's working fine on the production, but on the development, I see some errors in manuals/auth/authentication.md, manuals/auth/authorization.md, manuals/auth/aindex.md. Is it only on my end?

Screenshot from 2024-05-30 21-22-05

@FlorianJacta
Copy link
Member Author

I am assigning you to the issue. I don't understand your problem here. Let me ping @FabienLelaquais

Copy link

This issue has been labelled as "🥶Waiting for contributor" because it has been inactive for more than 14 days. If you would like to continue working on this issue, please add another comment or create a PR that links to this issue. If a PR has already been created which refers to this issue, then you should explicitly mention this issue in the relevant PR. Otherwise, you will be unassigned in 14 days. For more information please refer to the contributing guidelines.

@github-actions github-actions bot added the 🥶Waiting for contributor Issues or PRs waiting for a long time label Jun 14, 2024
@FlorianJacta FlorianJacta added the ❌ Blocked Issue is blocked label Jun 14, 2024
@FlorianJacta
Copy link
Member Author

The PR is blocked; the contributor worked on this issue

@github-actions github-actions bot removed the 🥶Waiting for contributor Issues or PRs waiting for a long time label Jun 29, 2024
Copy link

This issue has been unassigned automatically because it has been marked as "🥶Waiting for contributor" for more than 14 days with no activity.

@FlorianJacta
Copy link
Member Author

The PR is blocked; there is a contributor assigned

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
❌ Blocked Issue is blocked 📄 Documentation Internal or public documentation 🆘 Help wanted Open to participation from the community 📈 Improvement Improvement of a feature. 🟨 Priority: Medium Not blocking but should be fixed soon
Projects
None yet
3 participants