On Wed, Mar 18, 2009 at 02:25:55PM +0000, corvid wrote:
Jorge wrote:
On Mon, Feb 16, 2009 at 05:37:36AM +0000, corvid wrote:
It makes more sense to have a pref that the user can control than for us to guess what they might like based on screen size or whatever, I think.
I hesitate on this. For instance: if media_type is defined to "handheld" and there's no such remote CSS, at least it should fallback to "screen".
If there is a handheld style sheet available and dillo is running on a handheld, it would be a shame not to use it. I'm hoping that the page author would have the sense to supply something for type "all".
Agreed. I think we should first add an option to switch to "handheld" and only apply "handheld" and "all" media styles. Later we can decide whether we want a fallback to "screen".
Maybe it's more practical to provide custom stylesheets (as the current "style.css". e.g. small_screen.css, print.css) and to allow switching among them from the "Tools" menu.
What do you think?
I think someone using handheld would want to use both the page author's handheld-specific code and a user style suitable for their device.
Yes, that's the general idea in CSS. We might add a menu item to make it easy for the user to switch between several user stylesheets. But I would only do this if someone really needs/wants it.
I'll send this to the list in case anyone with experience using such devices with the web has opinions to share.
Unfortunately not me yet :( Cheers, Johannes