Skip to content

Proof styles#1751

Merged
sangwinc merged 2 commits into
masterfrom
proof-styles
May 12, 2026
Merged

Proof styles#1751
sangwinc merged 2 commits into
masterfrom
proof-styles

Conversation

@georgekinnear
Copy link
Copy Markdown
Collaborator

This adds a new CSS class ".statement" that can be used to style the statement of a Theorem/Lemma/etc.

add .statement class (for theorems etc)
add example of using class="statement"
@sangwinc
Copy link
Copy Markdown
Member

sangwinc commented May 8, 2026

Thanks @georgekinnear that's a very sensible addition.

@sangwinc sangwinc changed the base branch from master to dev May 8, 2026 15:17
@sangwinc sangwinc changed the base branch from dev to master May 8, 2026 15:19
@sangwinc sangwinc merged commit e59778b into master May 12, 2026
10 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.

2 participants