code: function reapplyDisplayStyles() {
      reapplyDisplayStyle(".show-Idl",        e_showIdl.checked)
      reapplyDisplayStyle(".show-JavaScript", e_showJavaScript.checked)
      reapplyDisplayStyle(".show-Java",       e_showJava.checked)
  }
docs: -----------------------------------------------------------------------------