Make jenkins buttons more accessible.