From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <b5f8d7c9a24dbf2ef648d93876de0a8a@comcast.net>
To: 9fans@cse.psu.edu
From: Gregory Pavelcak <g.pavelcak@comcast.net>
Date: Fri,  1 Dec 2006 09:05:10 -0500
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: [9fans] Font Changes in links
Topicbox-Message-UUID: e9949eb8-ead1-11e9-9d60-3106f5b1d025

Since I'm overdue for another browser question...

It seems easy enough to change fonts in links; however,
Font13, which seems to be the font for most text, is,
by default, associated with lucidasans/unicode.7.font,
which is a bit small.  When I change `7' to `8' though,
there is no corresponding change in leading, so I get
tightly packed lines and truncated descenders.

How do I do this right?

Thanks.

Greg