os theme: make minor improvements to apearance of github status labels. #3303