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