From d71b281182dfa917524b86042f85730615172b57 Mon Sep 17 00:00:00 2001
From: benedikt willi <benedikt.willi@unibas.ch>
Date: Wed, 9 Jul 2014 16:07:37 +0000
Subject: [PATCH] added line number compatibility

---
 static/css/iframe.css  | 12 +++++++++---
 static/js/page_view.js |  6 ------
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/static/css/iframe.css b/static/css/iframe.css
index 2498366..35bea5b 100644
--- a/static/css/iframe.css
+++ b/static/css/iframe.css
@@ -28,16 +28,22 @@
 }
 
 .outerPV{
-  left:0px !important;
   width:850px !important;
-  margin:auto;
 }
 
 .outerBackground{
   background-color:#f7f7f7 !important;
-  margin:none;
+  width: 850px;
+  margin:auto;
   border:none;
 }
+
+.sidedivdelayed{
+  top: 7px !important;
+  left: auto !important;
+  padding-top: 100px !important;
+}
+
 .innerPV{
   background-color:#fff;
   border-radius: 5px 5px 0 0;
diff --git a/static/js/page_view.js b/static/js/page_view.js
index dc6add8..e25d282 100644
--- a/static/js/page_view.js
+++ b/static/js/page_view.js
@@ -19,15 +19,10 @@ if (!isMobile) {
           e.preventDefault();
           return false;
         });
-        if($('#options-linenoscheck').is(':checked')){
-          $('#options-linenoscheck').click();
-          $('#options-linenoscheck').attr("disabled", true);
-        }
         $('#editorcontainer').css("top", "15px");
         var containerTop = $('.toolbar').position().top + $('.toolbar').height() +5;
         $('#editorcontainerbox').css("top", containerTop);
         $('#ep_page_ruler').show();
-        pad.changeViewOption('showLineNumbers', false);
       },
       disable: function() {
         $('#editorcontainer, iframe').removeClass('page_view');
@@ -36,7 +31,6 @@ if (!isMobile) {
         $('iframe[name="ace_outer"]').contents().find('iframe').contents().find("#innerdocbody").css("margin-left","-100px");
         $('iframe[name="ace_outer"]').contents().find('#outerdocbody').removeClass("outerBackground");
         $('#ep_page_ruler').hide();
-        $('#options-linenoscheck').attr("disabled", false);
         var containerTop = $('.toolbar').position().top + $('.toolbar').height() +5;
         $('#editorcontainerbox').css("top", containerTop+"px");
         $('#editorcontainer').css("top", 0);