[AUCTeX-devel] Re: Two more website styles

[Ralf Angeli]

* Jan-Åke Larsson (2005-03-29) writes:

> Ralf Angeli wrote:
>> * Rounded edges should now be available with any browser.  I used the
>>   technique Masayuki pointed me to (thanks for the link).  Please
>>   report any problems with this.  I saw a bright 1-pixel stripe when
>>   playing with the font size in my browser.  This probably was a
>>   rounding error.  If I am the only one encountering this, I'll not
>>   change the implementation.
>
> Nope. I see it too. Mozilla 1.7.5, font-size 14px (100% zoom). This is my
> default so I was surprised when it _disappeared_ when I changed text zoom.

It seems we cannot rely on this being rendered properly.  I put up a
new version which uses a technique with images.  Unfortunately this
requires more work in case we want to change colors one day.

-- 
Ralf