steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

slides: unify default-style and code-style.

master
John Benediktsson 2020-02-15 08:40:44 -08:00
parent be746c1f6d
commit 70c8b35f62
1 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
extra/slides/slides.factor
View File

@ -8,25 +8,17 @@ IN: slides
CONSTANT: stylesheet CONSTANT: stylesheet
H{ H{
{ default-span-style { default-style
H{ H{
{ font-name $ default-sans-serif-font-name } { font-name $ default-sans-serif-font-name }
{ font-size $[ default-font-size 3 * ] } { font-size $[ default-font-size 3 * ] }
}
}
{ default-block-style
H{
{ wrap-margin $[ default-font-size 92 * ] } { wrap-margin $[ default-font-size 92 * ] }
} }
} }
{ code-char-style
H{
{ font-name $ default-monospace-font-name }
{ font-size $[ default-font-size 3 * ] }
}
}
{ code-style { code-style
H{ H{
{ font-name $ default-monospace-font-name }
{ font-size $[ default-font-size 3 * ] }
{ page-color T{ rgba f 0.4 0.4 0.4 0.3 } } { page-color T{ rgba f 0.4 0.4 0.4 0.3 } }
} }
} }