Comments on: User stylesheet in IE http://www.phpied.com/user-stylesheet-in-ie/ Stoyan's blog about (x)html, ajax, bookmarklets, browsers, css, firebug, javascript, json, mdb2, mysql, pear, performance, php, phpbb, tools, yslow, yui, writing, music,... life and everything. Sat, 17 May 2008 04:35:30 +0000 http://wordpress.org/?v=2.0.1 by: Mike Edwards http://www.phpied.com/user-stylesheet-in-ie/#comment-62039 Thu, 30 Aug 2007 08:41:05 +0000 http://www.phpied.com/user-stylesheet-in-ie/#comment-62039 I don't quite understand. I use Firefox web developer extension extensively. This allows me to apply a local style sheet to a remote page. It doesn't pull in the existing styles to allow me to edit them? I take it I have to do this step myself? I don't quite understand. I use Firefox web developer extension extensively. This allows me to apply a local style sheet to a remote page. It doesn't pull in the existing styles to allow me to edit them? I take it I have to do this step myself?

]]> by: Stoyan http://www.phpied.com/user-stylesheet-in-ie/#comment-49380 Fri, 16 Feb 2007 21:36:37 +0000 http://www.phpied.com/user-stylesheet-in-ie/#comment-49380 Hi Stephan, thanks for the comment. You don't add this JS to the page, you have it as a bookmarklet, so you can execute it and play with the styles on any page, without changing (or even having access to) the page. Hi Stephan, thanks for the comment. You don't add this JS to the page, you have it as a bookmarklet, so you can execute it and play with the styles on any page, without changing (or even having access to) the page.

]]> by: Stephan Wehner http://www.phpied.com/user-stylesheet-in-ie/#comment-49200 Mon, 05 Feb 2007 23:26:08 +0000 http://www.phpied.com/user-stylesheet-in-ie/#comment-49200 That was supposed to read &#60; style type="text/css" media="screen"&#62; @import "c:/user.css"; &#60;/style&rt; That was supposed to read < style type="text/css" media="screen"> @import "c:/user.css"; </style&rt;

]]> by: Stephan Wehner http://www.phpied.com/user-stylesheet-in-ie/#comment-49199 Mon, 05 Feb 2007 23:18:43 +0000 http://www.phpied.com/user-stylesheet-in-ie/#comment-49199 You're saying you can insert this javascript in the HTML of a webpage, but you can't change the stylesheet definitions for the same HTML? Put otherwise, why not add @import "c:/user.css"; to the HEAD section of HTML ? Stephan You're saying you can insert this javascript in the HTML of a webpage, but you can't change the stylesheet definitions for the same HTML?

Put otherwise, why not add

@import "c:/user.css";

to the HEAD section of HTML ?

Stephan

]]> by: All in a days work… http://www.phpied.com/user-stylesheet-in-ie/#comment-49082 Mon, 29 Jan 2007 01:10:13 +0000 http://www.phpied.com/user-stylesheet-in-ie/#comment-49082 [...] User stylesheet in IE - supplies FF&#8217;s WebDev Toolbar CSS functionality to IE, allowing local file editing My bookmarklet assumes you have a file called C:user.css and loads this stylesheet on demand in your page, in every frame, just in case you use frames. It loads your CSS last, hence taking effect. (tags: Bookmarklets IE CSS) [...] […] User stylesheet in IE - supplies FF’s WebDev Toolbar CSS functionality to IE, allowing local file editing My bookmarklet assumes you have a file called C:user.css and loads this stylesheet on demand in your page, in every frame, just in case you use frames. It loads your CSS last, hence taking effect. (tags: Bookmarklets IE CSS) […]

]]>