write-heading ( str -- )

Vocabulary

google.search.private

Inputs

str

an object

Outputs

None

Definition

USING: colors io io.styles ;

IN: google.search.private

: write-heading ( str -- )
    H{ { font-size 14 } { background COLOR: light-gray } }
    format nl ;