/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
function set_CSS(el_id, CSS_attr, CSS_val) {
  var el = document.getElementById(el_id);
  if (el) el.style[CSS_attr] = CSS_val;
}