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

345 fix note icon ul marker size dot leader #346

Merged
merged 3 commits into from
Jun 8, 2024

Conversation

wmat
Copy link
Contributor

@wmat wmat commented Jun 7, 2024

This PR will get you the dot-leader and note icon.
Note that it is pointing at a branch of docs-resources for now.
I'll update later to point at main of docs-resources once I figure out the bullets.

wmat added 3 commits June 7, 2024 16:15
Updating docs-resources for theme fixes.
Update the docs-resources to test font size.
As I move the docs-resources branch forward, so to does this pointer need
to move forward.
@wmat wmat linked an issue Jun 7, 2024 that may be closed by this pull request
@ved-rivos
Copy link
Collaborator

ved-rivos commented Jun 7, 2024

@wmat the column of numbers is not fixed size in TOC so it looks wavy.

image

@ved-rivos ved-rivos merged commit ce8a3a4 into main Jun 8, 2024
3 checks passed
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.

Fix note icon, UL marker size, dot-leader
2 participants