Patching github theme