|
From: | Jan-Åke Larsson |
Subject: | [AUCTeX-devel] Re: Two more website styles |
Date: | Tue, 29 Mar 2005 11:00:48 +0200 |
User-agent: | Mozilla/5.0 (X11; U; SunOS sun4u; sv-SE; rv:1.7.5) Gecko/20041222 |
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. /JÅ -- Acknowledgements: I would like to thank A. Einstein; unfortunately, he's dead.
[Prev in Thread] | Current Thread | [Next in Thread] |