From c7d151f27f5d2ecf82ee315652c11c61b3bd3ef9 Mon Sep 17 00:00:00 2001 From: cesare Date: Wed, 15 Feb 2023 16:12:45 +0100 Subject: [PATCH] modifica stile per grafo sintattico --- css/custom_4.2.css | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/css/custom_4.2.css b/css/custom_4.2.css index 3c98ad9..6d4be61 100644 --- a/css/custom_4.2.css +++ b/css/custom_4.2.css @@ -183,10 +183,9 @@ Ex browsingldc.css font-size: 12px; font-weight: normal; font-style: italic; - font-family: -apple-system, BlinkMacSystemFont, “Helvetica Neue”, + font-family: "Bracciolini", "Spectral", -apple-system, BlinkMacSystemFont, “Helvetica Neue”, “Segoe UI”, “Roboto”, “Oxygen”, “Ubuntu”, “Cantarell”, - “Fira Sans”, “Droid Sans”, - sans-serif; + “Fira Sans”, “Droid Sans”, sans-serif; } #displaycanto span:hover {