From 909af543c5378bd29be7655ca9f6d38b94dcf476 Mon Sep 17 00:00:00 2001
From: PaulT <TurboPT@users.noreply.github.com>
Date: Thu, 1 Mar 2018 13:40:16 -0500
Subject: [PATCH] Update header.php

---
 includes/header.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/includes/header.php b/includes/header.php
index aeff0bf17..fd07925da 100644
--- a/includes/header.php
+++ b/includes/header.php
@@ -33,10 +33,15 @@
 			<script>
 				localStorage.setItem("DateFormat", "', $_SESSION['DefaultDateFormat'], '");
 				localStorage.setItem("Theme", "', $_SESSION['Theme'], '");
+			</script>';
 
 	// If it is set the $_SESSION['ShowPageHelp'] parameter AND it is FALSE, hides the page help text:
 	if(isset($_SESSION['ShowPageHelp']) AND !$_SESSION['ShowPageHelp']) {
-		echo '<style>.page_help_text, DIV.page_help_text {display:none;}</style>';
+		echo '<style>
+			.page_help_text, div.page_help_text {
+				display:none;
+			}
+		</style>';
 	}
 
 	echo '</head>',