I've never seen four-digit hex codes before (e.g., `#0000` and `#fff1` in that example). Are those typos, or what is that about?