Extra CSS for the "git file permissions" article