From 72d19670c5d257d7b01a224d398c3db877294687 Mon Sep 17 00:00:00 2001
From: Luca <lucasalva87@users.noreply.github.com>
Date: Thu, 15 Nov 2018 18:33:57 +0100
Subject: [PATCH] Dimensione font header preso da impostazioni

---
 templates/base/header.php   | 4 ++--
 templates/base/settings.php | 5 ++++-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/templates/base/header.php b/templates/base/header.php
index 397fd628a..68679149f 100644
--- a/templates/base/header.php
+++ b/templates/base/header.php
@@ -10,11 +10,11 @@
  */
 
 return '
-<div class="row">
+<div class="row" >
     <div class="col-xs-6">
         <img src="$logo$" alt="Logo" border="0"/>
     </div>
-    <div class="col-xs-6 text-right small">
+    <div class="col-xs-6 text-right style="'.((!empty($settings['header-font-size'])) ? "font-size:".($settings['header-font-size'])."px;" : "").'" ">
         <p><b>'.$f_ragionesociale.'</b></p>
         <p>'.$f_indirizzo.'</p>
         <p>'.$f_citta_full.'</p>
diff --git a/templates/base/settings.php b/templates/base/settings.php
index fe10a0638..f70151a01 100644
--- a/templates/base/settings.php
+++ b/templates/base/settings.php
@@ -1,6 +1,6 @@
 <?php
 
-return [
+$settings = [
     'orientation' => 'P',
     'format' => 'A4',
     'font-size' => 10,
@@ -12,4 +12,7 @@ return [
     ],
     'header-height' => 35,
     'footer-height' => 5,
+	'header-font-size' => 8,
 ];
+
+return $settings;