On Tue, Mar 30, 2010 at 7:29 PM, Roger Hui <[email protected]> wrote:
> There is the rub.  How much cell padding to apply?
> It'd depend on the font size.

Perhaps:
   {padding: 0.45em;}

?

-- 
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to