Fix #16677 - Font size of a SQL query