From 5cea90df9b0037ea12f9cf157d6681f78b8acd32 Mon Sep 17 00:00:00 2001 From: annasandri Date: Thu, 11 Jun 2020 11:03:11 +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 99b9233..4adc0cf 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: 12px; + font-size: 10px; } p.frame{ font-family:MisterPixel;