button icons, github link, minor style tweaks