extra/help/stylesheet/stylesheet.factor

   1 ! Copyright (C) 2005, 2006 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: io.styles namespaces ;
   4 IN: help.stylesheet
   5
   6 SYMBOL: default-style
   7 H{
   8     { font "sans-serif" }
   9     { font-size 12 }
  10     { font-style plain }
  11     { wrap-margin 500 }
  12 } default-style set-global
  13
  14 SYMBOL: link-style
  15 H{
  16     { foreground { 0 0 0.3 1 } }
  17     { font-style bold }
  18 } link-style set-global
  19
  20 SYMBOL: emphasis-style
  21 H{ { font-style italic } } emphasis-style set-global
  22
  23 SYMBOL: strong-style
  24 H{ { font-style bold } } strong-style set-global
  25
  26 SYMBOL: title-style
  27 H{
  28     { font "sans-serif" }
  29     { font-size 18 }
  30     { font-style bold }
  31     { wrap-margin 500 }
  32     { page-color { 0.8 0.8 0.8 1 } }
  33     { border-width 5 }
  34 } title-style set-global
  35
  36 SYMBOL: help-path-style
  37 H{ { font-size 10 } } help-path-style set-global
  38
  39 SYMBOL: heading-style
  40 H{
  41     { font "sans-serif" }
  42     { font-size 16 }
  43     { font-style bold }
  44 } heading-style set-global
  45
  46 SYMBOL: subsection-style
  47 H{
  48     { font "sans-serif" }
  49     { font-size 14 }
  50     { font-style bold }
  51 } subsection-style set-global
  52
  53 SYMBOL: snippet-style
  54 H{
  55     { font "monospace" }
  56     { font-size 12 }
  57     { foreground { 0.1 0.1 0.4 1 } }
  58 } snippet-style set-global
  59
  60 SYMBOL: code-style
  61 H{
  62     { page-color { 0.8 0.8 0.8 0.5 } }
  63     { border-width 5 }
  64     { wrap-margin f }
  65 } code-style set-global
  66
  67 SYMBOL: input-style
  68 H{ { font-style bold } } input-style set-global
  69
  70 SYMBOL: url-style
  71 H{
  72     { font "monospace" }
  73     { foreground { 0.0 0.0 1.0 1.0 } }
  74 } url-style set-global
  75
  76 SYMBOL: warning-style
  77 H{
  78     { page-color { 0.95 0.95 0.95 1 } }
  79     { border-color { 1 0 0 1 } }
  80     { border-width 5 }
  81 } warning-style set-global
  82
  83 SYMBOL: table-content-style
  84 H{
  85     { wrap-margin 350 }
  86 } table-content-style set-global
  87
  88 SYMBOL: table-style
  89 H{
  90     { table-gap { 5 5 } }
  91     { table-border { 0.8 0.8 0.8 1.0 } }
  92 } table-style set-global
  93
  94 SYMBOL: list-style
  95 H{ { table-gap { 10 2 } } } list-style set-global
  96
  97 SYMBOL: bullet
  98 "- " bullet set-global