On 2015-09-08 11:51 AM, Simon Sapin wrote:
On 08/09/15 17:02, meh. wrote:
[1]: https://github.com/meh/miserve/blob/master/SERVO.md
Style
The style hooks are required to implement user-styles.
There should be a way to prepend a stylesheet to any page.
You can use
http://doc.servo.org/servo/util/opts/struct.Opts.html#structfield.user_stylesheets
to add "user origin" stylesheets to every document.
See https://drafts.csswg.org/css-cascade/#cascade-origin and
https://drafts.csswg.org/css-cascade/#cascading-origins
Similarly, we have the ability to run user scripts:
http://mxr.mozilla.org/servo/source/components/util/opts.rs#59
Cheers,
Josh
_______________________________________________
dev-servo mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-servo
