basis/help/stylesheet/stylesheet.factor

   1 ! Copyright (C) 2005, 2009 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: io.styles namespaces colors colors.constants ;
   4 IN: help.stylesheet
   5
   6 SYMBOL: default-span-style
   7 H{
   8     { font-name "sans-serif" }
   9     { font-size 12 }
  10     { font-style plain }
  11 } default-span-style set-global
  12
  13 SYMBOL: default-block-style
  14 H{
  15     { wrap-margin 500 }
  16 } default-block-style set-global
  17
  18 SYMBOL: link-style
  19 H{
  20     { foreground COLOR: DodgerBlue4 }
  21     { font-style bold }
  22 } link-style set-global
  23
  24 SYMBOL: emphasis-style
  25 H{ { font-style italic } } emphasis-style set-global
  26
  27 SYMBOL: strong-style
  28 H{ { font-style bold } } strong-style set-global
  29
  30 SYMBOL: title-style
  31 H{
  32     { font-name "sans-serif" }
  33     { font-size 18 }
  34     { font-style bold }
  35     { wrap-margin 500 }
  36     { foreground COLOR: FactorDarkSlateBlue }
  37     { page-color COLOR: FactorLightTan }
  38     { border-width 5 }
  39 } title-style set-global
  40
  41 SYMBOL: help-path-style
  42 H{ { font-size 10 } } help-path-style set-global
  43
  44 SYMBOL: heading-style
  45 H{
  46     { font-name "sans-serif" }
  47     { font-size 16 }
  48     { font-style bold }
  49 } heading-style set-global
  50
  51 SYMBOL: subsection-style
  52 H{
  53     { font-name "sans-serif" }
  54     { font-size 14 }
  55     { font-style bold }
  56 } subsection-style set-global
  57
  58 SYMBOL: snippet-style
  59 H{
  60     { font-name "monospace" }
  61     { font-size 12 }
  62     { foreground COLOR: DarkOrange4 }
  63 } snippet-style set-global
  64
  65 SYMBOL: code-char-style
  66 H{
  67     { font-name "monospace" }
  68     { font-size 12 }
  69 } code-char-style set-global
  70
  71 SYMBOL: code-style
  72 H{
  73     { page-color COLOR: FactorLightTan }
  74     { border-width 5 }
  75     { wrap-margin f }
  76 } code-style set-global
  77
  78 SYMBOL: input-style
  79 H{ { font-style bold } } input-style set-global
  80
  81 SYMBOL: url-style
  82 H{
  83     { font-name "monospace" }
  84     { foreground COLOR: DodgerBlue4 }
  85 } url-style set-global
  86
  87 SYMBOL: warning-style
  88 H{
  89     { page-color COLOR: gray90 }
  90     { border-color COLOR: red }
  91     { border-width 5 }
  92     { wrap-margin 500 }
  93 } warning-style set-global
  94
  95 SYMBOL: deprecated-style
  96 H{
  97     { page-color COLOR: gray90 }
  98     { border-color COLOR: red }
  99     { border-width 5 }
 100     { wrap-margin 500 }
 101 } deprecated-style set-global
 102
 103 SYMBOL: table-content-style
 104 H{
 105     { wrap-margin 350 }
 106 } table-content-style set-global
 107
 108 SYMBOL: table-style
 109 H{
 110     { table-gap { 5 5 } }
 111     { table-border COLOR: FactorLightTan }
 112 } table-style set-global
 113
 114 SYMBOL: list-style
 115 H{ { table-gap { 10 2 } } } list-style set-global
 116
 117 SYMBOL: bullet
 118 "• " bullet set-global