From 8b04c843e3135392f573cc6abd981b43664ecf53 Mon Sep 17 00:00:00 2001 From: annasandri Date: Thu, 11 Jun 2020 11:04:13 +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 605ec82..4889d40 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: 11px; + font-size: 10.5px; } p.frame{ font-family:MisterPixel;