Added a text file, "factor-colors.txt", which is like "rgb.txt" except it lists the theme colors used in the Factor UI.
Changed url-style color to DodgerBlue4 to match link-style.
- prettyprinter now does syntax highlighting of Factor code
- added a prettyprinter.stylesheet vocab
- text shadow character style for formatted streams
- text shadow for labels
- toolbar buttons display keyboard shortcut in status bar rather than in the button title
- changed some colors in help.stylesheet to match the colors in Factor's scrollbars and border-buttons
- changed status bar color to match the dark blue in Factor's scrollbars
- added some internal padding to the browser gadget to give the article content some breathing room
NOTE: I removed the "pane" slot from browser-gadget. The slot was never used (at least in my image), and now that the browser-gadget's help-pane is wrapped by a "border" gadget, the slot name would be misleading.
Alexander Iljin
John Benediktsson
nicolas-p
Doug Coleman
Slava Pestov
Keith Lazuka
Joe Groff