Use official WebAssembly logo

[chicoxyzzy]

Attention: PDF build failed on my laptop so I'm not sure it works as expected (I use SVG logo here).
Part of log:

latexmk -pdf -dvi- -ps-  'WebAssembly.tex'
make[1]: latexmk: No such file or directory
make[1]: *** [WebAssembly.pdf] Error 1
make: *** [latexpdf] Error 2

Screenshot of HTML page:

fixes #477

[chicoxyzzy]

Can I check built PDF file on Travis somehow?

[rossberg]

No, the spec build hasn't been set up for Travis, though that might be worth looking into.

I tried it on my machine, and unfortunately I get "! LaTeX Error: Unknown graphics extension: .svg.". But I suppose a JPG or PNG should be good enough for this purpose.

One question: would it be possible to make the logo appear somewhat smaller, with more space around it? As is it looks rather overblown and cramped on the page.

[chicoxyzzy]

Updated to use PNG instead of SVG. Also I installed MacTex instead of BasicTex and was able to sure PDF was built without any issues.

@rossberg-chromium AFAIK Sphinx theme used here doesn't support such option and logo size is aligned to navigation bar width. I think it's possible to use css rules but I'm not good at CSS.

[rossberg]

Thanks! I will look into tweaking the CSS (though I'm not at all good at that either).