whole_func_string: function removeAndRefresh (d) {
      var table = d.parentNode
      var par = table.parentNode
      var placeholder = dom.createElement('table')
      placeholder.setAttribute('style', 'width: 100%;')
      par.replaceChild(placeholder, table)
      table.removeChild(d)
      par.replaceChild(table, placeholder) // Attempt to
    }
func_code_string: function removeAndRefresh (d) {
      var table = d.parentNode
      var par = table.parentNode
      var placeholder = dom.createElement('table')
      placeholder.setAttribute('style', 'width: 100%;')
      par.replaceChild(placeholder, table)
      table.removeChild(d)
      par.replaceChild(table, placeholder) // Attempt to
    }
func_documentation_string: Remove a node from the DOM so that Firefox refreshes the screen OK Just deleting it cause whitespace to accumulate.