Yanir's EV3 tracker: Smaller font size for small devices on headers