Skip to content

Fix rules window layout and overflow - #579

Open
k88-b wants to merge 1 commit into
leanprover-community:mainfrom
k88-b:fix-rules-window-layout
Open

k88-b wants to merge 1 commit into
leanprover-community:mainfrom
k88-b:fix-rules-window-layout

Conversation

@k88-b

@k88-b k88-b commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

Some translations were spilling out of the rules box, so I gave it a bit of min-width to fit everything nicely and nudged it slightly away from the scrollbar.

before:
screen-1792324854
screen-1792324838

after:
screen-1792338045
screen-1792338053

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