“Their enterprise was neither more just
nor easier, and God was no more
their friend than yours.”
Machiavelli
“Their enterprise was neither more just
nor easier, and God was no more
their friend than yours.”
Machiavelli
Sunday, February 17, 2008
Greasekit and user style-sheets
No doubt this is an extremely subjective thing... but I really much prefer having a small fixed point and set colors for text and its background when reading websites with large chunks of text.
For a long time I’ve used Safari/Webkit’s built-in custom style-sheet support, however, I frequently need to temporarily remove my custom style-sheet. For the last months I’ve searched for a solution to this issue, eventually finding various Webkit plugins which allowed for site customisation, however, I just came across the GreaseKit project and used this to quickly rewrite the functionality I needed in JavaScript.
My custom style-sheet results in pages looking something like:

And the GreaseKit/greasemonkey compatible script: custom-css.user.js