typeset pagenumbers in DejaVu Sans Condensed
make pagenumbers smaller