function update_style() {
  var ui_size = document.getElementById('interfaceForm').ui_size[0].checked ? 'large' : 'normal';
  var ui_contrast = document.getElementById('interfaceForm').ui_contrast[0].checked ? 'high' : 'normal';
  set_cookie("ui_size", ui_size);
  set_cookie("ui_contrast", ui_contrast);
}