Layout: font-size=74% in #div-info and #div-lastFetchedAt (former was
75%).