From f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 16:28:56 +0100 Subject: provide help on the leaderboard and OpenAPI specification --- lambda-calcul/haskell/public/minilang.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/public/minilang.css') diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css index 801350d..7cd99b3 100644 --- a/lambda-calcul/haskell/public/minilang.css +++ b/lambda-calcul/haskell/public/minilang.css @@ -1,5 +1,5 @@ html { - font-family: Inconsolata, Courier; + font-family: sans-serif; background-color: #f0f0f0; } -- cgit v1.3.1