<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><br>
</div>Thanks a lot, Kolia!<br></blockquote><div> </div><div> :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Now, the desktop names are displayed, but with a small a pale font,<br>
which is very badly readable, particularly because the panel appears<br>
in an ugly gray of almost the same color as the font of the names.<br>
<br>
How can I change the panel's color and/or the font of the desktop names?<br></blockquote><div> </div><div>I don't know. What you can try is to change of theme (see system settings > Appearance, or customize your theme to choose another style for the panel only, of for the widgets only (See System Settings > Advanced > Desktop details)</div>
</div>