From 91b3604d31c186e45f4ab1055f912eee3516edf6 2013-02-05 17:09:22
From: Matthias BUSSONNIER <bussonniermatthias@gmail.com>
Date: 2013-02-05 17:09:22
Subject: [PATCH] get monospace pager back

---

diff --git a/IPython/frontend/html/notebook/static/js/pager.js b/IPython/frontend/html/notebook/static/js/pager.js
index 54e7529..1b0e076 100644
--- a/IPython/frontend/html/notebook/static/js/pager.js
+++ b/IPython/frontend/html/notebook/static/js/pager.js
@@ -152,9 +152,7 @@ var IPython = (function (IPython) {
     }
 
     Pager.prototype.append_text = function (text) {
-        var toinsert = $("<div/>").addClass("output_area output_stream");
-        toinsert.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
-        this.pager_element.append(toinsert);
+        this.pager_element.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
     };