Changed terminator font from DejaVu to DejaVu Bold