Added new setting "Font size"

plugins/dynamix/DisplaySettings.page

@@ -121,6 +121,15 @@ $(function() {
 <form markdown="1" name="display_settings" method="POST" action="/update.php" target="progressFrame" onsubmit="upload()">
 <input type="hidden" name="#file" value="dynamix/dynamix.cfg">
 <input type="hidden" name="#section" value="display">
+Font size:
+: <select name="font" size="1">
+  <?=mk_option($display['font'], "50%", "Very small")?>
+  <?=mk_option($display['font'], "56.25%", "Small")?>
+  <?=mk_option($display['font'], "", "Normal")?>
+  <?=mk_option($display['font'], "68.75%", "Large")?>
+  <?=mk_option($display['font'], "75%", "Very large")?>
+  </select>
+
 Date format:
 : <select name="date" size="1" onchange="presetTime(this.form)">
   <?=mk_option($display['date'], "%c", "System Setting")?>

plugins/dynamix/default.cfg

@@ -2,6 +2,7 @@
 down="1"
 stop="1"
 [display]
+font=""
 date="%c"
 time="%R"
 number=".,"

plugins/dynamix/include/DefaultPageLayout.php

@@ -27,6 +27,9 @@
 <link type="text/css" rel="stylesheet" href="<?autov("/webGui/styles/dynamix-{$display['theme']}.css")?>">
 
 <style>
+<?if ($display['font']):?>
+html{font-size:<?=$display['font']?>}
+<?endif;?>
 <?if ($display['header']):?>
 #header,#header .logo,#header .text-right a{color:#<?=$display['header']?>}
 #header .block{background-color:transparent}