* font/devdvi/DESC.in: Change size 11pt to 10.95pt (as used in