On Fri, 3 Apr 2009 23:02:08 +0400
igor zaitsev wrote:

> О как! Забавно. Спасибо за науку, Алексей, будем крутить.

Кстати, 10.5 pt -- это фактически то же самое, что и 10 dd.
Т. е. редактор требует шрифт 10 пунктов Дидо, как это и положено
по отечественным правилам. Соответственно, при переопределении
normalsize можно попробовать просто поменять единицу измерения
на dd, сохранив все цифры, как есть.

--
Regards,
Alexey Kryukov <anagnost at yandex dot ru>

Moscow State University
Historical Faculty