devices/grohtml/post-html.cpp

459 			    int thickness);
505   int             thickness;            // the thickness of a line
514 		       bool is_a_line    , int  thickness);
526     is_line(is_a_line_flag), thickness(line_thickness), tab(NULL)
532     is_tag(FALSE), is_special(FALSE), is_line(FALSE), thickness(0), tab(NULL)
1274 					       int thickness);
1353 		     int thickness)
1360 		      thickness);
4118 	  error("0 or 1 argument required for thickness");