You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixed root cause of issue: the `#explorer + div` element was sticking out 32px below the page, not anymore.
`.output > pre` now uses box-sizing so that max-height 100% will always work regardless of any specific padding.
0 commit comments