Update webgl_shaders_ocean.html (#26580)
* Update webgl_shaders_ocean.html
* Update webgl_shaders_ocean.html
* Update webgl_shaders_ocean.html
* Update webgl_shaders_ocean.html
* Update webgl_shaders_ocean.html
---------
Co-authored-by: Michael Herzog <michael.herzog@human-interactive.org>