From c22fab46f10d63f64275d490adea62b3e7833742 Mon Sep 17 00:00:00 2001 From: cesare Date: Thu, 2 Mar 2023 11:34:44 +0100 Subject: [PATCH] modifica stili grafo synt --- css/custom1_4.2.css | 3 +-- css/custom2_4.2.css | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/css/custom1_4.2.css b/css/custom1_4.2.css index 5ad5deb..ae27162 100644 --- a/css/custom1_4.2.css +++ b/css/custom1_4.2.css @@ -185,8 +185,7 @@ Ex browsingldc.css font-size: 12px; font-weight: normal; font-style: italic; - font-family: "Bracciolini", "Spectral", -apple-system, BlinkMacSystemFont, “Helvetica Neue”, - “Segoe UI”, “Roboto”, “Oxygen”, “Ubuntu”, “Cantarell”, “Fira Sans”, “Droid Sans”, sans-serif; + font-family: Palatino; } .synt__categ{ font-size: 10px; diff --git a/css/custom2_4.2.css b/css/custom2_4.2.css index be8d4d7..6f8c895 100644 --- a/css/custom2_4.2.css +++ b/css/custom2_4.2.css @@ -184,7 +184,7 @@ Ex browsingldc.css font-size: 12px; font-weight: normal; font-style: italic; - font-family: Book Antiqua,Palatino,Palatino Linotype,Palatino LT STD,Georgia,serif; + font-family: Palatino; } .synt__categ{ font-size: 10px;