i was screwing around and accidentally made this on a whim. hope you enjoy! (whoever you are)
Make sure you have a UserStyle manager installed (Stylus is a good one) and then install this userstyle
j. redhead jeremyredhead
jeremyredhead
/ README.md
Last active
August 3, 2026 14:53
changes the navbar on euphoria from plain green to symphonic purple
jeremyredhead
/ README.md
Last active
July 18, 2026 03:45
restore the lovely Symphony background image to the homepage and about page on euphoria.leet.nu
restore the lovely Symphony background image to Euphoria's homepage and about page, so unceremoniously removed in commit 158de5ca
Make sure you have a UserStyle manager installed (Stylus is a good one) and then install this userstyle
jeremyredhead
/ 2026 Euphoria April Fools.md
Last active
April 2, 2026 21:13
2026 Euphoria April Fools JS/CSS files
Compiled JS/CSS files for Euphoria's 2026 Aprils Fools event (code from commit b3f7639ca27a80aca3394530c802b538616bf814)
I omitted the JS source mapping file cuz the source is above :P
Not sure how one would easily load these files instead of the current ones... but there they are
TODO: figure out an easy way for anyone to load these files instead of normal ones
jeremyredhead
/ userChrome-proton-tab-tweaks.css
Last active
November 5, 2025 04:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /*** Proton Tabs Tweaks ***/ | |
| /* Adjust tab corner shape, optionally remove space below tabs */ | |
| #tabbrowser-tabs { | |
| --user-tab-rounding: 0px; | |
| } | |
| .tab-background { | |
| border-radius: var(--user-tab-rounding) var(--user-tab-rounding) 0px 0px !important; /* Connected */ |
jeremyredhead
/ Instantly_Cozier.user.css
Created
November 25, 2023 02:25
Userstyle to make Instant ever so slightly more comfortable/familiar for those used to vanilla euphoria
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @-moz-document domain("instant.leet.nu") { | |
| .replies > .message:first-child, | |
| .message + .message { | |
| margin-top: 4px; | |
| } | |
| .message-box > .message, | |
| .message-box > .input-bar { | |
| margin-top: 8px; | |
| } |
jeremyredhead
/ py-activate.sh
Created
September 4, 2022 08:28
Activate Python Venv (source this from your .bashrc or similiar to use, then py-activate)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/true | |
| # Activate Python Venv | |
| # Can't be an actual shell script b/c child processes cant alter parents ENV | |
| _no_dir() { | |
| echo >&2 "Could not locate $1 directory" | |
| #exit 1 | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {"START":[["I think I discovered an exploitable bug, hehe..."],[""],["Test exploit","TEST',_=![]+[],Y=!![]+[],U=[][[]]+[],T=Y[0],F=[]+[][_[0]+_[2]+_[1]+T],C=F[3],O=F[6],R=Y[1],([][_[1]+T])[C+O+U[1]+_[3]+T+R+U[0]+C+T+O+R](F[11]+F[10]+Y[3]+R+T+F[13]+42+F[14])(),'"],[""]],"__STARTSECTION__":"START","TEST":[["Did the number \"42\" pop up in a box just now?"],[""],["Yes","BUGGY"],["No","FIXED"],[""]],"BUGGY":[["The bug is still exploitable >:3"]],"FIXED":[["The bug has sadly likely been fixed :["],[""]]} |
jeremyredhead
/ README.md
Last active
February 3, 2023 20:00
Easily run a BotBot botling standalone, i.e. without BotBot itself
(i don't have a better name yet)
Moved: Please see repository at https://github.com/jeremyredhead/run_botling
Easily run a BotBot botling standalone, i.e. without BotBot itself.
Once the dependencies are installed, just plop run_botling.py down in any folder,
and pass it the name of a file containing your bot's code. (e.g. py run_botling.py spambot.txt)
jeremyredhead
/ simple-mouse-keys.ahk
Created
March 5, 2021 03:46
Simple Mouse Keys AutoHotKey script
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #NoEnv | |
| ; #Warn | |
| SetWorkingDir %A_ScriptDir% | |
| SendMode Event ; can't set mouse speed in Input/Play modes | |
| MouseKeysEnabled := false | |
| HotKey, *z, Off | |
| HotKey, *z UP, Off | |
| HotKey, *x, Off |
jeremyredhead
/ toggle-youtube-controls.js
Created
December 18, 2020 01:35
Hide/Toggle ALL YouTube Player Controls & UI
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Hide/Toggle YouTube Player Controls/UI | |
| // @description Hide/Toggle YT Player Controls & UI with the "H" key | |
| // @version 0.1 | |
| // @match https://www.youtube.com/watch?* | |
| // ==/UserScript== | |
| var css = "#movie_player > :not(.html5-video-container) { display: none !important }" | |
| var style = document.createElement('style') |
NewerOlder