Conversation
bf5d526 to
f24743f
Compare
f24743f to
a90c2dc
Compare
|
@Rob--W, I've updated this PR to include an SVG export of the whiteboard. |
d4638d0 to
ecd51fb
Compare
The SVG is 661 KB. That's much larger than I'd expect for a few boxes with text and stars in it. I can cut down the size with tools such as https://jakearchibald.github.io/svgomg/ but it is still large. What does the PNG version look like, in terms of size? Perhaps it makes sense to post the image as a comment on the f2f issue (also for future reference) and link to that from the meeting notes. The whole text is already captured in the meeting notes, in case people need an accessible version of it. |
|
I took a stab at reducing the SVG. Its primary size originates from tons of useless inline style properties. Another significant chunk is the inline font. I note that when I open Github's linked SVG in Firefox, the font is not even used because it is blocked by the CSP. The content is still legible so I opted for stripping the font as well. After some trial and error I created a reduced SVG as follows:
document.querySelectorAll('[style]').forEach(x=>x.removeAttribute('style'));
document.querySelectorAll('[class]').forEach(x=>x.removeAttribute('class'));
document.querySelectorAll('p > br:first-child:last-child').forEach(x=>x.parentNode.remove())
document.querySelector('style').textContent=`svg{font-size:22px;line-height:1.35;text-align:center;font-family:sans-serif}foreignObject>div{height:100%;align-content:center}`;
copy(new XMLSerializer().serializeToString(document))
The appearance is not 100% identical obviously, but the boxes, text, colors, stars are all visible, which is what matters for conveying information. |
ecd51fb to
2b740d5
Compare
|
Merging because the next meeting is about to start. |
Generated from https://docs.google.com/document/d/1QkwhEMtMS67JBUkl_WVPZ4lRSKoWcQNlLJSf_GwSXg8/edit using the tool and process from #105.
During this meeting we discussed or mentioned issues #953, #531, #951, #954, #955.
The next meeting happens at a potentially different time (for non-US people) due to Daylight Saving time changes! PST -> PDT time zone!