From 17e1280927f18618b5418fffad9f40cb0ed02951 Mon Sep 17 00:00:00 2001 From: Andre Lorbach Date: Thu, 23 Oct 2014 10:25:41 +0200 Subject: [PATCH] Added other default font for windows --- src/include/functions_common.php | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/include/functions_common.php b/src/include/functions_common.php index ff87ad9..d0d4620 100644 --- a/src/include/functions_common.php +++ b/src/include/functions_common.php @@ -985,7 +985,12 @@ function InitConfigurationValues() // --- // --- Set dynamic stylesheet options like Font Type and Sizes - $userdefaultfont = GetConfigSetting("DefaultFont", "Arial", CFGLEVEL_USER); + if ( strpos($_SERVER['HTTP_USER_AGENT'], "Windows") !== false ) // Use other default on Windows + $userdefaultfont = GetConfigSetting("DefaultFont", "Trebuchet MS", CFGLEVEL_USER); + else + $userdefaultfont = GetConfigSetting("DefaultFont", "Arial", CFGLEVEL_USER); + + $userdefaultfontsize = GetConfigSetting("DefaultFontSize", "100", CFGLEVEL_USER); @@ -2120,6 +2125,11 @@ function InitFontSizeList() $content["fontsizes"]["130"]["Name"] = "130%"; $content["fontsizes"]["140"]["Name"] = "140%"; $content["fontsizes"]["150"]["Name"] = "150%"; + $content["fontsizes"]["160"]["Name"] = "160%"; + $content["fontsizes"]["170"]["Name"] = "170%"; + $content["fontsizes"]["180"]["Name"] = "180%"; + $content["fontsizes"]["190"]["Name"] = "190%"; + $content["fontsizes"]["200"]["Name"] = "200%"; } // --- ?> \ No newline at end of file