From 695cb6290c7518472b9c1038c2162dbe7ea3c9d5 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 6 Dec 2023 16:38:10 +0000
Subject: [PATCH] update default_config.json

---
 dist/default_config.json | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/dist/default_config.json b/dist/default_config.json
index 2a920d7..98de5e2 100644
--- a/dist/default_config.json
+++ b/dist/default_config.json
@@ -4922,8 +4922,17 @@
       "excludeSelectors.add": [
         "#HEADER"
       ]
+    },
+    {
+      "id": "arxiv-vanity.com",
+      "matches": [
+        "www.arxiv-vanity.com"
+      ],
+      "excludeSelectors.add": [
+        ".arxiv-vanity-wrapper"
+      ]
     }
   ],
-  "buildinConfigUpdatedAt": "2023-12-06T13:49:53.620Z",
-  "latestVersion": "0.12.3"
+  "buildinConfigUpdatedAt": "2023-12-06T16:38:10.431Z",
+  "latestVersion": "0.12.4"
 }