pre { font-size: 75%; } body { font-family: "Roboto", "Helvetica Neue", "Helvetica", Arial, sans-serif; }