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 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: FactorLightTan }
  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 COLOR: FactorLightTan }
  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: FactorLightTan }
  79     { inset { 5 5 } }
  80     { wrap-margin f }
  81 } code-style set-global
  82
  83 SYMBOL: output-style
  84 H{
  85     { font-style bold }
  86     { foreground COLOR: DarkOrange4 }
  87 } output-style set-global
  88
  89 SYMBOL: url-style
  90 H{
  91     { font-name "monospace" }
  92     { foreground COLOR: DodgerBlue4 }
  93 } url-style set-global
  94
  95 SYMBOL: warning-style
  96 H{
  97     { page-color COLOR: gray90 }
  98     { border-color COLOR: red }
  99     { inset { 5 5 } }
 100     { wrap-margin 500 }
 101 } warning-style set-global
 102
 103 SYMBOL: deprecated-style
 104 H{
 105     { page-color COLOR: gray90 }
 106     { border-color COLOR: red }
 107     { inset { 5 5 } }
 108     { wrap-margin 500 }
 109 } deprecated-style set-global
 110
 111 SYMBOL: table-content-style
 112 H{
 113     { wrap-margin 350 }
 114 } table-content-style set-global
 115
 116 SYMBOL: table-style
 117 H{
 118     { table-gap { 5 5 } }
 119     { table-border COLOR: FactorTan }
 120 } table-style set-global
 121
 122 SYMBOL: list-style
 123 H{ { table-gap { 10 2 } } } list-style set-global
 124
 125 SYMBOL: bullet
 126 "• " bullet set-global