From 0e01a20d6849ad50ddfa443dc1db9a5943051939 Mon Sep 17 00:00:00 2001 From: annasandri Date: Thu, 11 Jun 2020 11:03:34 +0200 Subject: [PATCH] Update '12/resources_05.html' --- 12/resources_05.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/12/resources_05.html b/12/resources_05.html index 4adc0cf..605ec82 100644 --- a/12/resources_05.html +++ b/12/resources_05.html @@ -22,7 +22,7 @@ /*text-align: center; */ color: fuchsia; font-family:Roboto Mono; - font-size: 10px; + font-size: 11px; } p.frame{ font-family:MisterPixel;