w3.org has different css than gpuweb.github.io/gpuweb #5231
Description
In particular, on gpuweb.gitub.io the table headings are sticky (super useful).
Screen.Recording.2025-06-24.at.13.58.49.mov
On the (w3.org) page, the one that surfaces if you type WebGPU into a search engine, the table headings are not sticky.