Is it possible to change the font size in the data entry box? I looked in the setting in my profile but could not see anything. I can do it globally for the site with browser scaling, but that makes everything else too big. I guess I could write a Chome extension, but that seems overkill. Though it could be useful to be able to scale up the current element in lots of other cases too ... maybe one exists but I can't find it; anyone?