Rob Garrison
Rob Garrison
Hi @xt0rted! What is `https://launch-editor.github.com/`? I get a 404 page; a bright white 404 page. And the resources pages will need a bit of styling work as well.
I was thinking that we could add an "override" to styles... like maybe define a block like this: ``` css body:not(.customized) .something { color: red !important; } ``` then when...
Ugh, you're right... ok, we can just do what we do with grunt. Add some extra comments at the start & end of blocks we want to remove... ``` css...
Oh, I thought you said we could load the "github-dark.css" file using `GM_xmlhttpRequest`. Then we could process and add it to the stylesheet using `GM_addStyle`... or am I wrong?
I've been working on a basic structure. So far I have this idea for the script sequence: - Load the GitHub-Dark package.json - Compare the version number saved in local...
Ok, I've pushed a very basic setup to the master... It still has a few issues that I was going to work on today, but some things have come up,...
Added some more tweaks, the silly enable checkbox still isn't working - ugh. I forgot to mention, if you add `?debug` to the url, you'll start seeing messages in the...
Sounds good... I'll include that change in my updates. I have a bunch of stuff done locally that I haven't pushed to the master yet.
By the way, do we really need to load another version of jQuery?
Ok, I got most everything working now. I could not get the `@run-at document-start` to work consistently, so I left it set to `document-end`. I'll let you mess around with...