LEGUP
LEGUP copied to clipboard
[BUG] Selecting a rule overlaps other rule tabs.
Description
While editing a proof, when the rule categories are on separate rows, selecting one of the tabs will overlap another.
Steps to Reproduce
- Legup --> Open Proof
- Select a rule tab on the left
Expected Behavior
Rule tabs should not overlap (probably don't change size when selected).
Screenshots

Puzzle Files
No response
Additional Context
No response