From d58782b2d1cbe6c42c32e88c8c77dc0612ca8f39 Mon Sep 17 00:00:00 2001 From: erg Date: Mon, 9 Jun 2008 16:34:03 +0000 Subject: [PATCH] Fix type on font size, and add documentation for a color attribute for tables and cells. --- doc/infosrc/html.2 | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/doc/infosrc/html.2 b/doc/infosrc/html.2 index b75f13349..fb56ae9e1 100644 --- a/doc/infosrc/html.2 +++ b/doc/infosrc/html.2 @@ -28,6 +28,7 @@ Attribute values must appear in double quotes. CELLBORDER="value" CELLPADDING="value" CELLSPACING="value" + COLOR="color" FIXEDSIZE="FALSE|TRUE" HEIGHT="value" HREF="value" @@ -47,6 +48,7 @@ Attribute values must appear in double quotes. BORDER="value" CELLPADDING="value" CELLSPACING="value" + COLOR="color" COLSPAN="value" FIXEDSIZE="FALSE|TRUE" HEIGHT="value" @@ -156,11 +158,17 @@ The maximum value is 127. COLOR="color"
sets the color of the font within the scope of -<FONT>...</FONT>. +<FONT>...</FONT>, or the border color +of the table or cell within the scope of +<TABLE>...</TABLE>, +or <TD>...</TD>. This color can be overridden by a COLOR attribute in descendents. By default, the font color is determined by the fontcolor attribute of +the corresponding node, edge or graph, and the border color +is determined by the +color attribute of the corresponding node, edge or graph.
@@ -214,7 +222,7 @@ sets the size of the font, in points, used within the scope of <FONT>...</FONT>. This can be overridden by a POINT-SIZE attribute in descendents. -By default, the font name is determined by the +By default, the font size is determined by the fontsize attribute of the corresponding node, edge or graph. -- 2.40.0