> [...] it seems that characters ⟨ij⟩ in DejaVu Sans at 7.5 ppem are > really bad: [...]
You are probably mixing up 'pt' (for a given DPI value; on Unix it's usually 72, on Windows 96) with 'ppem': While the former can be a non-integer value, the latter is always an integer. Werner