This is correct and highlighted by the fact that Github doesn't focus on the CSS at all -- their claim would have been exactly the same if they did not copy any

This is correct and highlighted by the fact that Github doesn't focus on the CSS at all -- their claim would have been exactly the same if they did not copy anything and wrote everything from scratch. It's about trademark and user confusion, not copyright.