##// END OF EJS Templates
Remove override.css from the template
Thomas Kluyver -
Show More
@@ -1,62 +1,57 b''
1 {% extends "page.html" %}
1 {% extends "page.html" %}
2
2
3 {% block title %}{{page_title}}{% endblock %}
3 {% block title %}{{page_title}}{% endblock %}
4
4
5 {% block stylesheet %}
6 {{super()}}
7 <link rel="stylesheet" href="{{ static_url("terminal/css/override.css") }}" type="text/css" />
8 {% endblock %}
9
10 {% block params %}
5 {% block params %}
11
6
12 data-base-url="{{base_url}}"
7 data-base-url="{{base_url}}"
13 data-ws-path="{{ws_path}}"
8 data-ws-path="{{ws_path}}"
14
9
15 {% endblock %}
10 {% endblock %}
16
11
17
12
18 {% block site %}
13 {% block site %}
19
14
20 <div id="terminado-container"></div>
15 <div id="terminado-container"></div>
21
16
22 {% endblock %}
17 {% endblock %}
23
18
24 {% block script %}
19 {% block script %}
25
20
26 <!-- Hack: this needs to be outside the display:none block, so we can measure
21 <!-- Hack: this needs to be outside the display:none block, so we can measure
27 its size in JS in setting up the page. It is still invisible. Putting in
22 its size in JS in setting up the page. It is still invisible. Putting in
28 the script block gets it outside the initially undisplayed region. -->
23 the script block gets it outside the initially undisplayed region. -->
29 <!-- test size: 25x80 -->
24 <!-- test size: 25x80 -->
30 <div style='position:absolute; left:-1000em'>
25 <div style='position:absolute; left:-1000em'>
31 <pre id="dummy-screen" style="border: solid 5px white;" class="terminal">0
26 <pre id="dummy-screen" style="border: solid 5px white;" class="terminal">0
32 1
27 1
33 2
28 2
34 3
29 3
35 4
30 4
36 5
31 5
37 6
32 6
38 7
33 7
39 8
34 8
40 9
35 9
41 0
36 0
42 1
37 1
43 2
38 2
44 3
39 3
45 4
40 4
46 5
41 5
47 6
42 6
48 7
43 7
49 8
44 8
50 9
45 9
51 0
46 0
52 1
47 1
53 2
48 2
54 3
49 3
55 <span id="dummy-screen-rows" style="">01234567890123456789012345678901234567890123456789012345678901234567890123456789</span>
50 <span id="dummy-screen-rows" style="">01234567890123456789012345678901234567890123456789012345678901234567890123456789</span>
56 </pre>
51 </pre>
57 </div>
52 </div>
58
53
59 {{super()}}
54 {{super()}}
60
55
61 <script src="{{ static_url("terminal/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
56 <script src="{{ static_url("terminal/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
62 {% endblock %}
57 {% endblock %}
General Comments 0
You need to be logged in to leave comments. Login now