changeset 50:1e534f430748 default tip

Hide slop in developers.google.com.
author Paul Fisher <paul@pfish.zone>
date Sat, 13 Dec 2025 17:45:23 -0500
parents 5154b73e5509
children
files extension/css/developers.css extension/manifest.json
diffstat 2 files changed, 13 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/extension/css/developers.css	Sat Dec 13 17:45:23 2025 -0500
@@ -0,0 +1,7 @@
+/* AI page summary */ devsite-key-takeaways-panel,
+/* Chat summary thing */ .devsite-concierge-ai-panel--menu-item,
+/* "Code tutor" */ devsite-code-tutorial,
+/* AI summary in search results */ devsite-search-summary
+{
+    display: none !important;
+}
--- a/extension/manifest.json	Thu Dec 11 21:31:15 2025 -0500
+++ b/extension/manifest.json	Sat Dec 13 17:45:23 2025 -0500
@@ -26,6 +26,12 @@
             ]
         },
         {
+            "css": ["css/developers.css"],
+            "matches": [
+                "https://developers.google.com/*"
+            ]
+        },
+        {
             "css": ["css/docs.css"],
             "matches": [
                 "https://docs.google.com/document/d/*",