Commit Graph

18 Commits (0700dca7925bc80b0702ec6048d4bb5d450cf486)

Author SHA1 Message Date
Slava Pestov 2a517d31df help.stylesheet: tweak color 2010-02-19 04:11:57 +13:00
Slava Pestov da7cd4186a help.markup: make $example render slightly nicer 2010-02-18 01:18:48 +13:00
Keith Lazuka 91c7eb9eea Renamed a Factor theme color to something more sensible. 2009-09-14 09:01:03 -04:00
Keith Lazuka d0652d9d0b help.stylesheet: fixed black border bug around nav links in HTML documentation 2009-09-14 08:50:58 -04:00
Keith Lazuka e1979f5ad5 help browser: tweaked the colors based on user feedback.
The USING: line should be easier to read now.
I also decided to stop highlighting symbols.
2009-09-10 13:27:49 -04:00
Keith Lazuka a96e828d7c io.styles: renamed the 'border-width' style to 'inset'. inset takes a pair of 2 numbers (horizontal and vertical insets) 2009-09-09 15:50:25 -04:00
Keith Lazuka 1bb48ec9ea Changed Browser's "Up:" links to a traditional breadcrumbs list.
Tweaked a few colors in the Factor UI.
2009-09-09 10:44:41 -04:00
Keith Lazuka ab7e2fc69b Factor theme colors are now referenced by name.
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.
2009-09-08 15:25:27 -04:00
Keith Lazuka 9c7d45e08a Removed text shadow support 2009-09-08 14:22:27 -04:00
Keith Lazuka 3fb75247b2 Applied ui-tweaks patchset.
- 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.
2009-09-08 13:30:30 -04:00
Joe Groff c6b9a45881 $deprecated help markup 2009-08-20 18:36:55 -05:00
Slava Pestov ca2c14646e help.stylesheet: use COLOR: 2009-02-07 18:05:24 -06:00
Slava Pestov 148317846b Update various vocabularies for colors.constants 2009-02-05 22:17:15 -06:00
Slava Pestov 1085487028 help.stylesheet: Use a real bullet instead of a dash 2009-02-04 00:51:47 -06:00
Slava Pestov 5aec661b92 Rename font key in io.styles to font-name for clarity; clean up some nefarious stack shuffling in ui.gadgets.panes 2009-01-26 16:25:57 -06:00
Slava Pestov c19f2257f4 Fix permission bits 2008-10-02 08:34:49 -05:00
Eduardo Cavazos 4deed7b44a help.stylesheet: Use color objects 2008-08-01 14:32:47 -05:00
Slava Pestov d66f887736 Create basis vocab root 2008-07-28 22:03:13 -05:00