changeset 144:bfd72865c243

Uh, kebab case filename?
author nanaya <me@nanaya.net>
date Sat, 27 Sep 2025 14:52:48 +0900
parents 385d07e4a81b
children eca476484f36
files cabbage-soft-image-rendering.user.js cabbage_soft_image_rendering.user.js discord-remove-top-bar.user.js discord_remove_top_bar.user.js
diffstat 4 files changed, 41 insertions(+), 41 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cabbage-soft-image-rendering.user.js	Sat Sep 27 14:52:48 2025 +0900
@@ -0,0 +1,15 @@
+// ==UserScript==
+// @name        Cabbage Soft Image Rendering
+// @namespace   https://nanaya.net
+// @match       https://cabbage-soft.com/*
+// @grant       GM_addStyle
+// @version     1.0.0
+// @author      nanaya
+// @description Fix image rendering (mainly Firefox)
+// @downloadURL https://hg.nanaya.net/ec-userscripts/raw-file/tip/cabbage-soft-image-rendering.user.js
+// ==/UserScript==
+
+'use strict';
+
+/* global GM_addStyle */
+GM_addStyle('img { image-rendering: initial !important; }');
--- a/cabbage_soft_image_rendering.user.js	Sat Sep 27 14:44:04 2025 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-// ==UserScript==
-// @name        Cabbage Soft Image Rendering
-// @namespace   https://nanaya.net
-// @match       https://cabbage-soft.com/*
-// @grant       GM_addStyle
-// @version     1.0.0
-// @author      nanaya
-// @description Fix image rendering (mainly Firefox)
-// @downloadURL https://hg.nanaya.net/ec-userscripts/raw-file/tip/cabbage-soft-image-rendering.user.js
-// ==/UserScript==
-
-'use strict';
-
-/* global GM_addStyle */
-GM_addStyle('img { image-rendering: initial !important; }');
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/discord-remove-top-bar.user.js	Sat Sep 27 14:52:48 2025 +0900
@@ -0,0 +1,26 @@
+// ==UserScript==
+// @name        Discord Remove Top Bar
+// @namespace   https://nanaya.net
+// @match       https://discord.com/*
+// @grant       GM_addStyle
+// @version     1.0.1
+// @author      nanaya
+// @description Fix discord redundant bar on the top
+// @downloadURL https://hg.nanaya.net/ec-userscripts/raw-file/tip/discord-remove-top-bar.user.js
+// ==/UserScript==
+
+'use strict';
+
+/* global GM_addStyle */
+GM_addStyle(`
+  :root {
+    --custom-app-top-bar-height: 0px !important;
+    --custom-channel-header-height: 58px !important;
+  }
+  [class^="bar_"] {
+    opacity: 0 !important;
+  }
+  [data-list-id="guildsnav"] > [class^="itemsContainer_"] > div {
+    padding-top: 10px !important;
+  }
+`);
--- a/discord_remove_top_bar.user.js	Sat Sep 27 14:44:04 2025 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-// ==UserScript==
-// @name        Discord Remove Top Bar
-// @namespace   https://nanaya.net
-// @match       https://discord.com/*
-// @grant       GM_addStyle
-// @version     1.0.0
-// @author      nanaya
-// @description Fix discord redundant bar on the top
-// @downloadURL https://hg.nanaya.net/ec-userscripts/raw-file/tip/discord_remove_top_bar.user.js
-// ==/UserScript==
-
-'use strict';
-
-/* global GM_addStyle */
-GM_addStyle(`
-  :root {
-    --custom-app-top-bar-height: 0px !important;
-    --custom-channel-header-height: 58px !important;
-  }
-  [class^="bar_"] {
-    opacity: 0 !important;
-  }
-  [data-list-id="guildsnav"] > [class^="itemsContainer_"] > div {
-    padding-top: 10px !important;
-  }
-`);