From 3e6896b09fa0064cfa1c0ff3342dd66d33a9a464 Mon Sep 17 00:00:00 2001 From: blankie Date: Sat, 20 May 2023 22:53:03 +0700 Subject: [PATCH] Update Elements with ID lister to 1.0.2 - Set font size to 12pt, useful on pages with small default fonts like Reddit or StackOverflow --- Elements with ID lister.user.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Elements with ID lister.user.js b/Elements with ID lister.user.js index 557bcc5..500692b 100644 --- a/Elements with ID lister.user.js +++ b/Elements with ID lister.user.js @@ -6,7 +6,7 @@ // @grant GM_getResourceURL // @require https://cdn.jsdelivr.net/npm/dialog-polyfill@0.5.6/dist/dialog-polyfill.min.js#sha256-cec1a2e320aab77e28bad4ad6bc5e532a6ef5757345c19bb5158aa880b7162a6 // @resource dialogPolyfillCSS https://cdn.jsdelivr.net/npm/dialog-polyfill@0.5.6/dist/dialog-polyfill.min.css#sha256-4dcb3ab62e545f30bf06a4824c253641ee889ca85ca28d5447590557922496ab -// @version 1.0.1 +// @version 1.0.2 // @author blankie // @description A userscript that adds a "Show elements popup" option to the Monkey Menu which lists all elements with an ID // @inject-into content @@ -22,6 +22,7 @@ const CSS = ` dialog { position: fixed; min-width: 25em; + font-size: 11pt; color: white; background-color: black; }