Patrick McCarty wrote:
>> Besides, I'm not completely sure if this idea can be easily added, since
>> you use the absolute positioning and do not really apply a width, but
>> set the margins s.t. the width constraints follow; correct?
> 
> I was having trouble implementing a solution that works in IE too.
> This one does, reasonable well.  It would be preferable not to add a
> "wrapper" div, since this will require changing the init file.  If you
> know of a solution using floats or a similar method, run it by me so I
> can test it out.
Hm. It's been a while since I fiddled around with CSS, so I have nothing
particular in mind, but I'll see what I can do. I have an exam tomorrow,
but I'll look at it on Thursday.
>> By the way, does anybody know whether it's possible to set an
>> alternative stylesheet as default in your favorite browser [1]? [...]
> 
> A List Apart explains how to implement this with cookies, but we would
> rather not use JavaScript:
> 
> http://alistapart.com/stories/alternate/
> 
> I'm sure there is a way to do this with server-side scripting, but I
> do not have the knowledge to implement this.  Maybe someone else on
> the list would be interested in tackling this.
AFAIK it's not that hard to remember this choice server-sided (but yeah,
you need cookies for that, or try some /really/ dirty tricks), and it
should actually be fairly easy to do so for single sessions - but: I
suppose this is even harder to tweak into the init file. And it's
something which costs resources. And each script is a potential security
risk. ... And we may end up like the LSR in August or so.

If there's a method as simple as this Firefox plugin for other browsers,
too, I'd definitely vote for a client-side solution.


_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user

Reply via email to