[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: change page number size
From: |
Nick Payne |
Subject: |
Re: change page number size |
Date: |
Tue, 07 Feb 2012 08:20:45 +1100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:10.0) Gecko/20120129 Thunderbird/10.0 |
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 }
}