[curry] Re: New homepage for Curry

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 18 Nov 2020 09:22:59 +0100

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

This archive was generated by hypermail 2.3.0 : Di Okt 19 2021 - 07:15:05 CEST