On 6/18/05, <b class="gmail_sendername">stéphane ducasse</b> <<a href="mailto:ducasse@iam.unibe.ch">ducasse@iam.unibe.ch</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The button colors are a bit too pale because sometimes we do not see<br>their border</blockquote><div><br>
I'm not sure that is caused by the LookEnhancements.<br>
<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">and the size of the fonts for windows is a bit too big. Beside that I<br>like the look.
</blockquote><div><br>
Just edit your system preferences and down the Window Title font size from 15 to 12 points. Looks better I think.<br>
</div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Stef</blockquote><div><br>
John <br>
</div><br></div>