Joshua Shay Kricheli NeuroSymbolic AI
v2 v1

Release · v2.22.2

Rename the gravity toggle's hover label from "Grid"…

Rename the gravity toggle's hover label from "Grid" to "Gravity effect"

chore v2.22.2 June 24, 2026 Claude 34a68a4

Details

Also widen that button's max-width cap to 130px (~12px above the new
label's measured 117px natural width) so the longer label fits without
clipping, keeping the per-button buffer consistent with the others.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Nnn3bS2w5hpS9miYkjF8d9

Files changed (1)

frontend/jekyll/_sass/v2/_toggles.scss +3 −3