Today I learned after receiving help from their support team how to change the default stylesheet for results in Total Validator Pro (aka TotalValidator Pro): edit the results.css file in the application folder. To find the application folder, open Total Validator Pro, then select Help > About, then select the Open button on the line that says Install. For me in macOS 10.12.6 Sierra, the results.css file was found in "/Applications/TotalValidatorPro.app/Contents/Resources/Java/images". (If you had found ~/Documents/TotalValidatorTool/images/results.css, that is the wrong file to edit.) I had wanted to make the font size larger, so adding font-size:1.15em to the body element did it. Breakfast: one banana, one pint of hot water. Rode Uber Pool Express to UCSF Laurel Heights. Sprint standup. Deleted lots of old, unpublished content from all our sites to help with linkchecking. Lunch at Starbucks: flat white, chicken wrap protein box with cucumber slices. Microsite work: revisited Desai pubs at KK's request. Continued reading from Richard Rutter's Web Typography (PDF version). Rode Uber Pool Express to the Mission. Met Patrick at Bear and Bull for drinks then dinner and a movie at Alamo Drafthouse New Mission: Call Me By Your Name. Pre-film drinks: turkey in the coop for Patrick, shanghai bastard for me. In the theatre: beer for Patrick, little gem salad but with a different dressing than they normally use at Patrick's request, fennel sausage pizza. Patrick also received a coupon for a free snack as part of his movie theatre membership, so we also got a large bowl of popcorn. My receipt for the bar portion said our server's name was Bull. Rode UberX home.