Re: change page number size

[Nick Payne]

On 07/02/12 07:00, Caio Barros wrote:
> Hello.
> how can I change the font size of the page number? I cannot find this 
> information anywhere.

I don't know if there are simpler ways, but you can do it like this. 
Change the \fontsize value:

\version "2.14.1"

\paper {
    oddHeaderMarkup = \markup \fill-line { \fontsize #2 \on-the-fly 
#not-first-page \fromproperty #'page:page-number-string }
    evenHeaderMarkup = \markup \fill-line { \fontsize #2 \on-the-fly 
#not-first-page \fromproperty #'page:page-number-string }
}

\relative c' {
    \repeat unfold 1000 { c4 }
}