more css tweaks, github ribbon