diff -r 3775ee26657f -r 55c2510891b8 www/export_styles.php --- a/www/export_styles.php Mon Aug 01 09:56:23 2022 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,150 +0,0 @@ -