GitHub repository: HyDE-Project/hyde-themes
Description: // A repository for HyDE themes // forked to fix hyde official themes