diff --git a/extra/slides/slides.factor b/extra/slides/slides.factor index 21fed8c67f..89129667e5 100644 --- a/extra/slides/slides.factor +++ b/extra/slides/slides.factor @@ -57,35 +57,23 @@ CONSTANT: stylesheet } format ] ($block) ; -: divider-interior ( -- interior ) - os windows? [ - T{ rgba f 0.25 0.25 0.25 1.0 } - ] [ { - T{ rgba f 0.25 0.25 0.25 1.0 } - T{ rgba f 1.0 1.0 1.0 0.0 } - } - ] if ; - : $divider ( -- ) [ - divider-interior >>interior + { + T{ rgba f 0.25 0.25 0.25 1.0 } + T{ rgba f 1.0 1.0 1.0 0.0 } + } >>interior ${ default-font-size 67 * default-font-size 5/6 * } >>dim { 1 0 } >>orientation gadget. ] ($block) ; -: page-interior ( -- interior ) - os windows? [ - T{ rgba f 0.8 0.8 1.0 1.0 } - ] [ { - T{ rgba f 0.8 0.8 1.0 1.0 } - T{ rgba f 0.8 1.0 1.0 1.0 } - } - ] if ; - : page-theme ( gadget -- gadget ) - page-interior >>interior ; + { + T{ rgba f 0.8 0.8 1.0 1.0 } + T{ rgba f 0.8 1.0 1.0 1.0 } + } >>interior ; : ( list -- gadget ) [