Re: Board sizing

I set now set up the font changing scheme as discussed in my
previous message (I hope...), and pushed the lot to hgm.nubati.
Before testing it it would probably be best to delete the entire
fonts section from the ~/xboardrc file.