Dirty workaround for strange names of environments

This should be improved... Easiest solution: change the names in the
Stacks project, because even if the code worked (which it doesn't) there
would be a link inside a link, which is stupid.
First tablet improvements

The width now works on a Nexus 7, and if the screen is not big enough it
will display side-by-side nevertheless.

And I changed the icons to higher-resolution versions, this way zooming
and hi-res displays give better results.