basis/help/stylesheet/stylesheet.factor

   1 ! Copyright (C) 2005, 2009 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: colors colors.constants io.styles literals namespaces ;
   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 20 }
  34     { font-style bold }
  35     { wrap-margin 500 }
  36     { foreground COLOR: gray20 }
  37     { page-color COLOR: FactorLightLightTan }
  38     { inset { 5 5 } }
  39 } title-style set-global
  40
  41 SYMBOL: help-path-style
  42 H{
  43     { font-size 10 }
  44     { table-gap { 5 5 } }
  45     { table-border $ transparent }
  46 } help-path-style set-global
  47
  48 SYMBOL: heading-style
  49 H{
  50     { font-name "sans-serif" }
  51     { font-size 16 }
  52     { font-style bold }
  53     { foreground COLOR: FactorDarkSlateBlue }
  54 } heading-style set-global
  55
  56 SYMBOL: subsection-style
  57 H{
  58     { font-name "sans-serif" }
  59     { font-size 14 }
  60     { font-style bold }
  61 } subsection-style set-global
  62
  63 SYMBOL: snippet-style
  64 H{
  65     { font-name "monospace" }
  66     { font-size 12 }
  67     { foreground COLOR: DarkOrange4 }
  68 } snippet-style set-global
  69
  70 SYMBOL: code-char-style
  71 H{
  72     { font-name "monospace" }
  73     { font-size 12 }
  74 } code-char-style set-global
  75
  76 SYMBOL: code-style
  77 H{
  78     { page-color COLOR: FactorLightLightTan }
  79     { inset { 5 5 } }
  80     { wrap-margin f }
  81 } code-style set-global
  82
  83 SYMBOL: input-style
  84 H{ { font-style bold } } input-style set-global
  85
  86 SYMBOL: url-style
  87 H{
  88     { font-name "monospace" }
  89     { foreground COLOR: DodgerBlue4 }
  90 } url-style set-global
  91
  92 SYMBOL: warning-style
  93 H{
  94     { page-color COLOR: gray90 }
  95     { border-color COLOR: red }
  96     { inset { 5 5 } }
  97     { wrap-margin 500 }
  98 } warning-style set-global
  99
 100 SYMBOL: deprecated-style
 101 H{
 102     { page-color COLOR: gray90 }
 103     { border-color COLOR: red }
 104     { inset { 5 5 } }
 105     { wrap-margin 500 }
 106 } deprecated-style set-global
 107
 108 SYMBOL: table-content-style
 109 H{
 110     { wrap-margin 350 }
 111 } table-content-style set-global
 112
 113 SYMBOL: table-style
 114 H{
 115     { table-gap { 5 5 } }
 116     { table-border COLOR: FactorLightTan }
 117 } table-style set-global
 118
 119 SYMBOL: list-style
 120 H{ { table-gap { 10 2 } } } list-style set-global
 121
 122 SYMBOL: bullet
 123 "• " bullet set-global