Enhancement: setting the font to be the same as in the rest of the
document