font-size
Factor handbook » Input and output » Formatted output » Text styles » Character styles

Prev:font-name
Next:font-style


Vocabulary
io.styles

Word description
Character style. Font size, an integer.

Examples
This example outputs some different font sizes:
USING: hashtables io io.styles kernel sequences ; { 12 18 24 72 } [ "Bigger" swap font-size associate format nl ] each


Definition