view firstline.fmt @ 637:1fc8d4867c88

Android rotation fixes. Android browser doesn't do max-device-width. And in fact it seems max-width is to be preferred anyway. Second, stock Android browser needs a bug workaround orientation setting present to force recalculation. Android Chrome still has problems.
author Jim Hague <jim.hague@acm.org>
date Mon, 07 Nov 2016 20:33:52 +0000
parents cbe9c10b5a3e
children
line wrap: on
line source

% Format for a graphic with a single tune
continueall false
measurenb false
writefields SRBDZHN 0
titleformat Y0
titlespace 0
topspace 0
infoline false
writehistory false
musiconly true
scale 0.9
botmargin 0pt
leftmargin 0pt
rightmarin 0pt
topmargin 0pt