adjusts border color in github-dark-dimmed theme