https://www.php-resource.de/forum/entwicklungsumgebungen/664-css-editor-gesucht