Skip to content

docs: fix indents on getting started for Android - #1344

Open
iBotPeaches wants to merge 1 commit into
masterfrom
docs-fix-supply-indent
Open

docs: fix indents on getting started for Android#1344
iBotPeaches wants to merge 1 commit into
masterfrom
docs-fix-supply-indent

Conversation

@iBotPeaches

Copy link
Copy Markdown
Member

Problem

Screenshot 2026-08-13 at 6 26 47 AM

Solution

Screenshot 2026-08-13 at 6 26 37 AM

@rogerluan rogerluan left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Indented bullets are rendering as regular unordered bullets but the md file is using ordered bullets. Should fixing this also belong to this PR?

@iBotPeaches

Copy link
Copy Markdown
Member Author

Indented bullets are rendering as regular unordered bullets but the md file is using ordered bullets. Should fixing this also belong to this PR?

hmm I see your point. Probably not. I think its way better than shoved into 1 line as it stands now and the ordered/unordered must be some old bug in this outdated mkdocs stack

@iBotPeaches

Copy link
Copy Markdown
Member Author
Screenshot 2026-08-15 at 2 18 30 PM

Yeah odd @rogerluan - unordered breaks the formatting entirely, no matter how many indents or not I use. Using an ordered list fixes indent, but then renders as unordered.

@rogerluan

Copy link
Copy Markdown
Member

@iBotPeaches do you wanna investigate and fix that in this same PR, or separate?

@iBotPeaches

iBotPeaches commented Aug 16, 2026

Copy link
Copy Markdown
Member Author

Never personally lol. Mkdocs is dead. This fixes an obvious regression of formatting, personally unordered or ordered does anyone mind?

@iBotPeaches

Copy link
Copy Markdown
Member Author

I started a migration to ProperDocs (fork of mkdocs) so we can hopefully start fixing some of these bugs - #1345

Without ingesting a massive amount of work moving to like Docusaurus or Zensical. A drop-in replacement that isn't abandoned may be best path forward to fix some of these odd bugs.

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.

2 participants