top: some old corrections
top: fix font-size substitution warnings
top: use pdf string for section headings