Fix CSS on RTD; write ignore/exclude using .syignore