"fix" the pager

- pull the pager element out of `#site`
- fix top to `auto` instead of `inherit`
Min RK 11 years ago
parent 22f8c7929d
commit e18a502484

@ -16,7 +16,7 @@ div#pager {
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */
top: inherit !important;
top: auto !important;
pre {
line-height: @code_line_height;

@ -10903,7 +10903,7 @@ div#pager {
/* Display over codemirror */
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */
top: inherit !important;
top: auto !important;
}
div#pager pre {
line-height: 1.21429em;

@ -287,13 +287,16 @@ data-notebook-path="{{notebook_path}}"
{% block site %}
<div id="ipython-main-app">
<div id="notebook_panel">
<div id="notebook"></div>
</div>
</div>
{% endblock %}
{% block after_site %}
<div id="pager">
<div id="pager-contents">
<div id="pager-container" class="container"></div>
@ -303,10 +306,8 @@ data-notebook-path="{{notebook_path}}"
<div id='tooltip' class='ipython_tooltip' style='display:none'></div>
{% endblock %}
{% block script %}
{{super()}}
<script type="text/javascript">

@ -111,6 +111,9 @@
{% endblock %}
</div>
{% block after_site %}
{% endblock %}
{% block script %}
{% endblock %}

Loading…
Cancel
Save