Update theme-settings.json

Author: gwynne

theme-settings.json

@@ -21,7 +21,7 @@
                 "dark": "rgb(20, 20, 22)",
                 "light": "rgb(255, 255, 255)"
             },
-            "documentation-intro-fill": "radial-gradient(circle at top, #ccc 15%, #111 100%)",
+            "documentation-intro-fill": "radial-gradient(circle at top, #ccc 15%, #111 100%)"
         },
     },
     "features": {