fixed theme.js to save highcontrast option to cookie