Sharper black square logos

Why wait for @html5cat when we can have sharp logos now.