use jenkins css: use https