diff -r 2ee6ad5d6f14 -r a720353fada9 www/includes/global.inc.php
--- a/www/includes/global.inc.php	Sun Aug 19 21:46:56 2018 +0200
+++ b/www/includes/global.inc.php	Fri Aug 24 21:53:14 2018 +0200
@@ -23,13 +23,9 @@
 
 /*
  * Look for the style names in the jqwidgets/styles directory.
- *
- * energyblue of ui-redmond
  */
-//$my_style = 'black';
 //$my_style = 'ui-darkness';
 $my_style = 'ui-mbse';
-//$my_style = 'android';
 
 require_once($_SERVER['DOCUMENT_ROOT'].'/config.php');
 require_once($_SERVER['DOCUMENT_ROOT'].'/version.php');