use the button color instead for comment highlight border 
use the button color instead for comment highlight border 

since that seems to be the more commonly customized variables in community themes.

atom/github,atom/github,atom/github