From aaa2ecff7e52a52ccd2e9c9c71a7703222341318 Mon Sep 17 00:00:00 2001 From: Pierre Rossi Date: Fri, 9 Jan 2015 11:59:22 +0100 Subject: Demo browser: re-add user stylesheets Implemented in terms of user scripts. Considering loading from a file URL would probably require setting a different cross origin policy for the isolated world we run this in, something we don't quite have yet, it seems easier to just use an inline