Please enable JavaScript to use RhodeCode Enterprise
##// END OF EJS Templates
Jonathan Frederic
- Thu, 18 Dec 2014 23:19:36
Show More
IPython/html/static/base/less/page.less
0
+1
-1
@@
-6,7
+6,7
b''
6
6
7
7
8
body {
8
body {
9
background-color : white;
9
background-color : @ body-bg ;
10
/* This makes sure that the body covers the entire window and needs to
10
/* This makes sure that the body covers the entire window and needs to
11
be in a different element than the display: box in wrapper below */
11
be in a different element than the display: box in wrapper below */
12
position : absolute ;
12
position : absolute ;
IPython/html/static/base/less/variables.less
0
+7
-1
@@
-43,4
+43,10
b' label {'
43
@global -shadow : 0px 0px 12px 1px rgba ( 87 , 87 , 87 , 0 . 2 );
43
@global -shadow : 0px 0px 12px 1px rgba ( 87 , 87 , 87 , 0 . 2 );
44
@global -shadow-dark : 0px 0px 12px 1px rgba ( 87 , 87 , 87 , 0 . 4 );
44
@global -shadow-dark : 0px 0px 12px 1px rgba ( 87 , 87 , 87 , 0 . 4 );
45
@page -header-padding : 20px ;
45
@page -header-padding : 20px ;
46
46
/* Make the page background atleast 100% the height of the view port */
47
@page -backdrop-height : 100vh ;
48
/* Make the page itself atleast 70% the height of the view port */
49
@page -min-height : 70vh ;
50
@page -backdrop-color : # EEE ;
51
@page -color : @body -bg ;
52
@page -padding : 15px ;
No newline at end of file
IPython/html/static/edit/less/edit.less
0
+28
-3
@@
-1,9
+1,34
b''
1
# texteditor-container {
2
border-bottom : 1 px solid #ccc ;
3
}
4
1
5
# filename {
2
# filename {
6
font-size : 16 pt ;
3
font-size : 16 pt ;
7
display : table ;
4
display : table ;
8
padding : 0 px 5 px ;
5
padding : 0 px 5 px ;
9
}
6
}
7
8
# texteditor-backdrop {
9
padding-top : @ page - header-padding ;
10
padding-bottom : @ page - header-padding ;
11
12
@media not print {
13
min-height : @ page - backdrop-height ;
14
background-color : @ page - backdrop-color ;
15
}
16
17
#texteditor-container {
18
.CodeMirror-gutter {
19
@media print {
20
background-color : @ body-bg ;
21
}
22
@media not print {
23
background-color : @ page - color ;
24
}
25
}
26
27
@media not print {
28
padding : @ page - padding ;
29
background-color : @ page - color ;
30
min-height : @ page - min-height ;
31
.box-shadow(@global-shadow) ;
32
}
33
}
34
}
IPython/html/static/edit/less/menubar.less
0
+17
-1
IPython/html/static/notebook/less/notebook.less
0
+7
-8
@@
-14,9
+14,10
b' div#notebook_panel {'
14
margin : 0 px ;
14
margin : 0 px ;
15
padding : 0 px ;
15
padding : 0 px ;
16
.border-box-sizing() ;
16
.border-box-sizing() ;
17
background-color : @ notebook_dark_background ;
17
@media not print {
18
/* Make the page background atleast 100% the height of the view port */
18
background-color : @ page - backdrop-color ;
19
min-height : 100 vh ;
19
min-height : @ page - backdrop-height ;
20
}
20
}
21
}
21
div # notebook {
22
div # notebook {
22
font-size : @ notebook_font_size ;
23
font-size : @ notebook_font_size ;
@@
-34,11
+35,9
b' div#notebook {'
34
35
35
# notebook-container {
36
# notebook-container {
36
@media not print {
37
@media not print {
37
padding : 15px;
38
padding : @ page - padding ;
38
border-color : @ body-bg;
39
background -color : @ page - color ;
39
background-color : @ body-bg ;
40
min-height : @ page - min-height ;
40
/* Make the page itself atleast 70% the height of the view port */
41
min-height : 70 vh ;
42
.box-shadow(@global-shadow) ;
41
.box-shadow(@global-shadow) ;
43
}
42
}
44
}
43
}
IPython/html/static/notebook/less/variables.less
0
0
-1
@@
-7,7
+7,6
b''
7
@light_border_color : darken ( @cell_selected_background , 17 %);
7
@light_border_color : darken ( @cell_selected_background , 17 %);
8
@border_width : 1px ;
8
@border_width : 1px ;
9
@notebook_font_size : 14px ;
9
@notebook_font_size : 14px ;
10
@notebook_dark_background : # EEE ;
11
@notebook_line_height : 20px ;
10
@notebook_line_height : 20px ;
12
@code_line_height : 1 . 21429em ; // changed from 1 . 231 to get 17px even
11
@code_line_height : 1 . 21429em ; // changed from 1 . 231 to get 17px even
13
@code_padding : 0 . 4em ; // 5 . 6 px
12
@code_padding : 0 . 4em ; // 5 . 6 px
IPython/html/templates/edit.html
0
+5
-1
@@
-10,6
+10,7
b''
10
10
11
{% block params %}
11
{% block params %}
12
12
13
class="edit_app"
13
data-base-url="{{base_url}}"
14
data-base-url="{{base_url}}"
14
data-file-path="{{file_path}}"
15
data-file-path="{{file_path}}"
15
16
@@
-75,12
+76,15
b' data-file-path="{{file_path}}"'
75
</ div >
76
</ div >
76
</ div >
77
</ div >
77
78
79
< div class = "lower-header-bar" ></ div >
80
78
{% endblock %}
81
{% endblock %}
79
82
80
{% block site %}
83
{% block site %}
81
84
82
85
< div id = "texteditor-backdrop" >
83
< div id = "texteditor-container" class = "container" ></ div >
86
< div id = "texteditor-container" class = "container" ></ div >
87
</ div >
84
88
85
{% endblock %}
89
{% endblock %}
86
90
IPython/html/templates/page.html
0
+1
0
@@
-105,6
+105,7
b''
105
{% block header %}
105
{% block header %}
106
{% endblock %}
106
{% endblock %}
107
</ div >
107
</ div >
108
108
< div id = "header-spacer" ></ div >
109
< div id = "header-spacer" ></ div >
109
110
110
< div id = "site" >
111
< div id = "site" >
Site-wide shortcuts
/
Use quick search box
g h
Goto home page
g g
Goto my private gists page
g G
Goto my public gists page
g 0-9
Goto bookmarked items from 0-9
n r
New repository page
n g
New gist page
Repositories
g s
Goto summary page
g c
Goto changelog page
g f
Goto files page
g F
Goto files page with file search activated
g p
Goto pull requests page
g o
Goto repository settings
g O
Goto repository access permissions settings
t s
Toggle sidebar on some pages