[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).


curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
Received on Mi Nov 18 2020 - 09:29:36 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:14 CEST