From 70c8b35f62ebb3401deeab09d6697e509206c57b Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 15 Feb 2020 08:40:44 -0800 Subject: [PATCH] slides: unify default-style and code-style. --- extra/slides/slides.factor | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/extra/slides/slides.factor b/extra/slides/slides.factor index 89129667e5..eae7d2eafc 100644 --- a/extra/slides/slides.factor +++ b/extra/slides/slides.factor @@ -8,25 +8,17 @@ IN: slides CONSTANT: stylesheet H{ - { default-span-style + { default-style H{ { font-name $ default-sans-serif-font-name } { font-size $[ default-font-size 3 * ] } - } - } - { default-block-style - H{ { wrap-margin $[ default-font-size 92 * ] } } } - { code-char-style - H{ - { font-name $ default-monospace-font-name } - { font-size $[ default-font-size 3 * ] } - } - } { code-style 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 } } } }