diff -r 282e7d2bb28a -r 37a8c7ec9d3e www/index.php --- a/www/index.php Tue Aug 07 16:42:49 2018 +0200 +++ b/www/index.php Wed Aug 08 16:35:05 2018 +0200 @@ -6,7 +6,7 @@ */ $my_style = 'ui-redmond'; //$my_style = 'ui-darkness'; -//$my_style = 'metrodark'; +$my_style = 'metrodark'; //$my_style = 'android'; require_once('version.php'); @@ -92,17 +92,17 @@ $outstr .= ' '.PHP_EOL; // TODO: Subtree brewboards $outstr .= '