Adjust layout for mathlib in mobile phone?

Stream: new members

[Shanghe Chen]

Hi some document seems overlapping with the source link when viewing from mobile phone, can we adjust it a little bit?

[Shanghe Chen]

A0D1203C-9014-4E7E-9CE6-B190F36127DC.jpg

[Patrick Massot]

Sure, contributions are welcome!

[Shanghe Chen]

I found that the doc-gen tool already handles this case using css property like word-break and it works perfectly if choosing devices from chrome’s dev tool. In this case the layout seems totally perfect. A little kind of weird that the layout on a real mobile device doesn’t work

[Shanghe Chen]

ABB7475B-88BF-47EF-A066-8CB8AC12CA28.jpg