From: SourceForge.net <no...@so...> - 2007-05-13 23:15:54
|
Feature Requests item #1595686, was opened at 2006-11-13 15:34 Message generated for change (Comment added) made by olly You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=351645&aid=1595686&group_id=1645 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Priority: 5 Private: No Submitted By: Dave Yost (daveyost) Assigned to: Nobody/Anonymous (nobody) Summary: Use of color in doc example boxes Initial Comment: The use of the four background colors to distinguish different types of examples is good. It would be nice if the doc had a key to the use of each color (shell, .i, .cc, script). The PDF of the doc does not use these colors, presumably to save ink (good idea). A good compromise would be if the PDF would draw an outline box around each example using these colors. This would use very little ink but would help in identifying the type of each example. ---------------------------------------------------------------------- >Comment By: Olly Betts (olly) Date: 2007-05-14 00:15 Message: Logged In: YES user_id=14972 Originator: NO There's no patch here, so moving from the "patch" tracker to the "feature request" tracker. ---------------------------------------------------------------------- Comment By: William Fulton (wsfulton) Date: 2006-11-13 21:57 Message: Logged In: YES user_id=242951 The pdf documentation is generated by the htmldoc tool. I believe they intend to add support for CSS stylesheets - the colour comes from stylesheets. I suggest you contact them in order to improve the pdf output to recognise simple stylesheets. (We've got a slightly modified version of htmldoc in Doc/Manual/margin-left.patch to improve CSS support). ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=351645&aid=1595686&group_id=1645 |