Change to smaller font (#138)