add explicit copyright header to docs CSS & JS files; fixes #11112
even shorter banner; remove space between slash and period
Merge branch 'fix-11112'