Kerry Sainsbury schrieb am 06.11.2019 um 03:15:

Hi Folks,

Sorry for the constant interruptions, but I can't find an answer in any of
the many PDFs or webpages I can find.

How do I define the font size of the page header? If I'm not using a custom
font, I can call \switchbodyfont prior to calling \setuplayouttext, which,
if I'm honest, seems weird, but it doesn't work if I use a custom font. eg:

\definefontfamily [dejavu] [serif] [DejaVu Serif]

\definefontfamily [dejavu] [sans] [DejaVu Sans]

% Uncomment this and the page header font size drops dramatically.

% \setupbodyfont[dejavu]

% This seems to define the size of the page header, if \setpbodyfont is not
called.

\switchtobodyfont[50pt]

\setuplayouttext

[header][text]

[

style=small,

middletext=Page Header,

righttext=\pagenumber,

rightstyle=bold

]

\switchtobodyfont[8pt]

\starttext

\input ward.tex

\stoptext

I half expected the 'style' property to be involved in this, but I can't
get that to do anything either :-(

How do I define the font size in a page header defined using
\setuplayouttext


\setupheader[style={\switchtobodyfont[8pt]}]

Wolfgang