+/* Avoids irritating errors with the installer (no conf file is present then). */
+if (!isset ($cfg['web_root']))
+ $web_root = 'http://' . $_SERVER['HTTP_HOST'] . '/';
+else
+ $web_root = $cfg['web_root'];
+
+if (!isset ($cfg['style']))
+ $style = 'default';
+else
+ $style = $cfg['style'];
+
+