shrink menu buttons
tweak style of repo heading