changed: specific theme for linux