port of the Eclipse theme Obsidian