On 16.11.20 13:35, Felix Holmgren wrote:
> 1) The code block near the top of the page doesn't fit in the width of
> many/most mobile devices, which results in the page being wider than the
> screen. Slightly inelegant.
>
Thanks for the hint. We reduced its width so that code block should fit
better (at least on my device).
Regards,
Michael
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Mi Nov 18 2020 - 09:29:36 CET