From 1dfe1a60f50ec919dadd1b6a1beac3f211c06bdd Mon Sep 17 00:00:00 2001 From: jasbanza Date: Wed, 11 Oct 2023 18:01:45 +0200 Subject: [PATCH] better font --- docs/index.html | 3 +-- docs/styles/style.css | 20 +++++++++++++++++--- 2 files changed, 18 insertions(+), 5 deletions(-) diff --git a/docs/index.html b/docs/index.html index 70852c2..7c3e5e9 100644 --- a/docs/index.html +++ b/docs/index.html @@ -27,7 +27,7 @@

>

-

+

-
div { margin: 10px; }