anchor.diff:      let padding = jq("<div class='inset-panel padded'/>").append(icon).append(pre).append(html)
       jq("<atom-panel id='" + id + "' />").addClass("top fsi-block fsi-html-block")
         .click(fun _ ->
  -          if pre.text() = "(...)" then 
  +          if pre.text() = "(...)" then
                 icon.attr("class", "icon icon-chevron-down") |> ignore
                 pre.hide().text("") |> ignore
                 html.show() |> ignore
  -          else 
  +          else
                 icon.attr("class", "icon icon-chevron-right") |> ignore
                 pre.text("(...)").show() |> ignore
                 html.hide() |> ignore
  
positive.code: let private clearFsiPane () =
      jq(".fsi").empty() |> ignore
  
  /// Append panel with input or output 
  let private appendFsiPanel cssclass expanded (input:string) =
      let pre = jq("<pre />").text(if expanded then input else "(...)")
      let icon = jq("<span />").addClass("icon " + if expanded then "icon-chevron-down" else "icon-chevron-right")
      let padding = jq("<div class='inset-panel padded'/>").append(icon).append(pre)
      jq("<atom-panel />").addClass("top fsi-block " + cssclass)
        .click(fun _ ->
            if pre.text() = "(...)" then 
                icon.attr("class", "icon icon-chevron-down") |> ignore
                pre.text(input) |> ignore
            else 
                icon.attr("class", "icon icon-chevron-right") |> ignore
                pre.text("(...)") |> ignore
            obj() )
  
negative.code: let private appendFsiException text = appendFsiPanel "fsi-exn-block" true text
  
  /// Append error messages or warnings to the FSI output
  let private appendErrors errors =
      let fsi = jq(".fsi")
      if Array.length errors = 0 then () else
      let block = jq("<div />").addClass("fsi-error-block").appendTo(fsi)
      for err in errors do
          let niceSeverity = err.severity.[0].ToString().ToUpper() + err.severity.Substring(1)
          let niceMsg = trimEnd "." err.message
          jq("<div />").addClass("fsi-" + err.severity)
  