Rustom Mody <rustompm...@gmail.com>: > In the same way and like colorforth, it would be better to distinguish > <font-size=huge>identifier</font> from > <font-size=normal>identifier</font> rather than the current status of > distinguishing identifier from Identifier But then we have a slippery > slope: Should <font-size=12> be same/distinct from <font-size=13> ?
In a past life of mine, a development team proudly presented their new reporting tool that produced beautiful graphs with dozens of crisscrossing, jagged lines. I proposed they needed to make each line a different color and add a legend for each color. The developers thought that was a great idea. Marko -- https://mail.python.org/mailman/listinfo/python-list
