add explicit copyright header to docs CSS & JS files; fixes #11112