Bug on mobile devices: Cropped proofs

[ScriptRaccoon]

Some proofs in the popup are too big on mobile devices. They are cropped. The popup cannot be scrolled either. It also cannot be closed anymore, since its controls are hidden.

Expected behavior. The user can see the whole proof, regardless how long it is. The user also can close the popup.

Query

Here is a query to find long proofs.

 select property_id, category_id, reason from category_property_assignments order by length(reason) desc limit 10;

Example 1

The proof of "cosifted" for the simplex category.

Example 2

The proof of "exact cofiltered limits" for CompHaus.

Example 3

The proof of "sifted colimits" for the walking splitting.