code: function showInterface(interfaceName) {
      var intf = Interfaces[interfaceName]
  
      e_interfaceName.innerHTML = interfaceName
  
      var html = []
  
      showInterfaceIdl(intf, html)
      showInterfaceJavaScript(intf, html)
      showInterfaceJava(intf, html)
  
      e_interfaceBody.innerHTML = html.join("\n")
  
      reapplyDisplayStyles()
  }
docs: -----------------------------------------------------------------------------