##// END OF EJS Templates
Cleaning up the dashboard CSS and fixing small visual problems.
Brian E. Granger -
Show More
@@ -34,20 +34,20 b' ul#tabs a{padding-top:4px;padding-bottom:4px}'
34 .list_toolbar{padding:4px 0 4px 0}
34 .list_toolbar{padding:4px 0 4px 0}
35 .list_toolbar [class*="span"]{min-height:26px}
35 .list_toolbar [class*="span"]{min-height:26px}
36 .list_header{font-weight:bold}
36 .list_header{font-weight:bold}
37 .list_container{margin-top:4px;margin-bottom:16px;border:1px solid #ababab;border-radius:4px}
37 .list_container{margin-top:4px;margin-bottom:20px;border:1px solid #ababab;border-radius:4px}
38 .list_container>div{border-bottom:1px solid #ababab}.list_container>div:hover .list-item{background-color:#f00}
38 .list_container>div{border-bottom:1px solid #ababab}.list_container>div:hover .list-item{background-color:#f00}
39 .list_container>div:last-child{border:none}
39 .list_container>div:last-child{border:none}
40 .list_item:hover .list_item{background-color:#ddd}
40 .list_item:hover .list_item{background-color:#ddd}
41 .list_item a{text-decoration:none}
41 .list_item a{text-decoration:none}
42 .list_header>div,.list_item>div{padding-top:4px;padding-bottom:4px;padding-left:7px;padding-right:7px}
42 .list_header>div,.list_item>div{padding-top:4px;padding-bottom:4px;padding-left:7px;padding-right:7px;height:22px;line-height:22px}
43 .item_name{line-height:22px}
43 .item_name{line-height:22px;height:26px}
44 .item_icon{font-size:14px;color:#5e5e5e;margin-right:7px}
44 .item_icon{font-size:14px;color:#5e5e5e;margin-right:7px}
45 .item_buttons{line-height:1em}
45 .item_buttons{line-height:1em}
46 .toolbar_info{height:26px;line-height:26px}
46 .toolbar_info{height:26px;line-height:26px}
47 input.nbname_input{padding-top:3px;padding-bottom:3px;height:14px;line-height:14px;margin:0}
47 input.nbname_input,input.engine_num_input{padding-top:3px;padding-bottom:3px;height:14px;line-height:14px;margin:0}
48 input.engine_num_input{width:60px}
48 .highlight_text{color:#00f}
49 .highlight_text{color:#00f}
49 #project_name>.breadcrumb{padding:0;margin-bottom:0;background-color:transparent;font-weight:bold}
50 #project_name>.breadcrumb{padding:0;margin-bottom:0;background-color:transparent;font-weight:bold}
50 input.engine_num_input{height:20px;margin-bottom:2px;padding-top:0;padding-bottom:0;width:60px}
51 .ansibold{font-weight:bold}
51 .ansibold{font-weight:bold}
52 .ansiblack{color:#000}
52 .ansiblack{color:#000}
53 .ansired{color:#8b0000}
53 .ansired{color:#8b0000}
@@ -1311,20 +1311,20 b' ul#tabs a{padding-top:4px;padding-bottom:4px}'
1311 .list_toolbar{padding:4px 0 4px 0}
1311 .list_toolbar{padding:4px 0 4px 0}
1312 .list_toolbar [class*="span"]{min-height:26px}
1312 .list_toolbar [class*="span"]{min-height:26px}
1313 .list_header{font-weight:bold}
1313 .list_header{font-weight:bold}
1314 .list_container{margin-top:4px;margin-bottom:16px;border:1px solid #ababab;border-radius:4px}
1314 .list_container{margin-top:4px;margin-bottom:20px;border:1px solid #ababab;border-radius:4px}
1315 .list_container>div{border-bottom:1px solid #ababab}.list_container>div:hover .list-item{background-color:#f00}
1315 .list_container>div{border-bottom:1px solid #ababab}.list_container>div:hover .list-item{background-color:#f00}
1316 .list_container>div:last-child{border:none}
1316 .list_container>div:last-child{border:none}
1317 .list_item:hover .list_item{background-color:#ddd}
1317 .list_item:hover .list_item{background-color:#ddd}
1318 .list_item a{text-decoration:none}
1318 .list_item a{text-decoration:none}
1319 .list_header>div,.list_item>div{padding-top:4px;padding-bottom:4px;padding-left:7px;padding-right:7px}
1319 .list_header>div,.list_item>div{padding-top:4px;padding-bottom:4px;padding-left:7px;padding-right:7px;height:22px;line-height:22px}
1320 .item_name{line-height:22px}
1320 .item_name{line-height:22px;height:26px}
1321 .item_icon{font-size:14px;color:#5e5e5e;margin-right:7px}
1321 .item_icon{font-size:14px;color:#5e5e5e;margin-right:7px}
1322 .item_buttons{line-height:1em}
1322 .item_buttons{line-height:1em}
1323 .toolbar_info{height:26px;line-height:26px}
1323 .toolbar_info{height:26px;line-height:26px}
1324 input.nbname_input{padding-top:3px;padding-bottom:3px;height:14px;line-height:14px;margin:0}
1324 input.nbname_input,input.engine_num_input{padding-top:3px;padding-bottom:3px;height:14px;line-height:14px;margin:0}
1325 input.engine_num_input{width:60px}
1325 .highlight_text{color:#00f}
1326 .highlight_text{color:#00f}
1326 #project_name>.breadcrumb{padding:0;margin-bottom:0;background-color:transparent;font-weight:bold}
1327 #project_name>.breadcrumb{padding:0;margin-bottom:0;background-color:transparent;font-weight:bold}
1327 input.engine_num_input{height:20px;margin-bottom:2px;padding-top:0;padding-bottom:0;width:60px}
1328 .ansibold{font-weight:bold}
1328 .ansibold{font-weight:bold}
1329 .ansiblack{color:#000}
1329 .ansiblack{color:#000}
1330 .ansired{color:#8b0000}
1330 .ansired{color:#8b0000}
@@ -167,31 +167,31 b' var IPython = (function (IPython) {'
167 if (param !== undefined && param.msg) {
167 if (param !== undefined && param.msg) {
168 message = param.msg;
168 message = param.msg;
169 }
169 }
170 var item = null;
170 var len = data.length;
171 var len = data.length;
171 this.clear_list();
172 this.clear_list();
172 if (len === 0) {
173 if (len === 0) {
173 $(this.new_notebook_item(0))
174 var item = this.new_notebook_item(0);
174 .append(
175 var span12 = item.children().first();
175 $('<div style="margin:auto;text-align:center;color:grey"/>')
176 span12.empty();
176 .text(message)
177 span12.append($('<div style="margin:auto;text-align:center;color:grey"/>').text(message))
177 );
178 }
178 }
179 var path = this.notebookPath();
179 var path = this.notebookPath();
180 var offset = 0;
180 var offset = 0;
181 if (path !== '') {
181 if (path !== '') {
182 var item = this.new_notebook_item(0);
182 item = this.new_notebook_item(0);
183 this.add_dir(path, '..', item);
183 this.add_dir(path, '..', item);
184 offset = 1;
184 offset = 1;
185 }
185 }
186 for (var i=0; i<len; i++) {
186 for (var i=0; i<len; i++) {
187 if (data[i].type === 'directory') {
187 if (data[i].type === 'directory') {
188 var name = data[i].name;
188 var name = data[i].name;
189 var item = this.new_notebook_item(i+offset);
189 item = this.new_notebook_item(i+offset);
190 this.add_dir(path, name, item);
190 this.add_dir(path, name, item);
191 } else {
191 } else {
192 var name = data[i].name;
192 var name = data[i].name;
193 var nbname = utils.splitext(name)[0];
193 var nbname = utils.splitext(name)[0];
194 var item = this.new_notebook_item(i+offset);
194 item = this.new_notebook_item(i+offset);
195 this.add_link(path, nbname, item);
195 this.add_link(path, nbname, item);
196 name = utils.url_path_join(path, name);
196 name = utils.url_path_join(path, name);
197 if(this.sessions[name] === undefined){
197 if(this.sessions[name] === undefined){
@@ -7,7 +7,10 b''
7
7
8 @dashboard_tb_pad: 4px;
8 @dashboard_tb_pad: 4px;
9 @dashboard_lr_pad: 7px;
9 @dashboard_lr_pad: 7px;
10
10 // These are the total heights of the Bootstrap small and mini buttons. These values
11 // are not less variables so we have to track them statically.
12 @btn_small_height: 26px;
13 @btn_mini_height: 22px;
11
14
12 ul#tabs {
15 ul#tabs {
13 margin-bottom: @dashboard_tb_pad;
16 margin-bottom: @dashboard_tb_pad;
@@ -23,7 +26,7 b' ul#tabs a {'
23 }
26 }
24
27
25 .list_toolbar [class*="span"] {
28 .list_toolbar [class*="span"] {
26 min-height: 26px;
29 min-height: @btn_small_height;
27 }
30 }
28
31
29 .list_header {
32 .list_header {
@@ -32,7 +35,7 b' ul#tabs a {'
32
35
33 .list_container {
36 .list_container {
34 margin-top: @dashboard_tb_pad;
37 margin-top: @dashboard_tb_pad;
35 margin-bottom: 16px;
38 margin-bottom: 5*@dashboard_tb_pad;
36 border: 1px solid @border_color;
39 border: 1px solid @border_color;
37 border-radius: 4px;
40 border-radius: 4px;
38 }
41 }
@@ -60,10 +63,13 b' ul#tabs a {'
60 padding-bottom: @dashboard_tb_pad;
63 padding-bottom: @dashboard_tb_pad;
61 padding-left: @dashboard_lr_pad;
64 padding-left: @dashboard_lr_pad;
62 padding-right: @dashboard_lr_pad;
65 padding-right: @dashboard_lr_pad;
66 height: @btn_mini_height;
67 line-height: @btn_mini_height;
63 }
68 }
64
69
65 .item_name {
70 .item_name {
66 line-height: 22px;
71 line-height: @btn_mini_height;
72 height: @btn_small_height;
67 }
73 }
68
74
69 .item_icon {
75 .item_icon {
@@ -77,11 +83,12 b' ul#tabs a {'
77 }
83 }
78
84
79 .toolbar_info {
85 .toolbar_info {
80 height: 26px;
86 height: @btn_small_height;
81 line-height: 26px;
87 line-height: @btn_small_height;
82 }
88 }
83
89
84 input.nbname_input {
90 input.nbname_input, input.engine_num_input {
91 // These settings give these inputs a height that matches @btn_mini_height = 22
85 padding-top: 3px;
92 padding-top: 3px;
86 padding-bottom: 3px;
93 padding-bottom: 3px;
87 height: 14px;
94 height: 14px;
@@ -89,11 +96,14 b' input.nbname_input {'
89 margin: 0px;
96 margin: 0px;
90 }
97 }
91
98
99 input.engine_num_input {
100 width: 60px;
101 }
102
92 .highlight_text {
103 .highlight_text {
93 color: blue;
104 color: blue;
94 }
105 }
95
106
96
97 #project_name > .breadcrumb {
107 #project_name > .breadcrumb {
98 padding: 0px;
108 padding: 0px;
99 margin-bottom: 0px;
109 margin-bottom: 0px;
@@ -102,10 +112,4 b' input.nbname_input {'
102
112
103 }
113 }
104
114
105 input.engine_num_input {
115
106 height: 20px;
107 margin-bottom:2px;
108 padding-top:0;
109 padding-bottom:0;
110 width: 60px;
111 }
General Comments 0
You need to be logged in to leave comments. Login now