##// END OF EJS Templates
The value of slider changes in frontend, and readout, but not in python obj.
The value of slider changes in frontend, and readout, but not in python obj.

File last commit:

r16957:7bf4a46d
r17275:43f23c53
Show More
tree.less
149 lines | 2.6 KiB | text/x-less | LessCssLexer
/**
* Primary styles
*
* Author: IPython Development Team
*/
@dashboard_tb_pad: 4px;
@dashboard_lr_pad: 7px;
// These are the total heights of the Bootstrap small and mini buttons. These values
// are not less variables so we have to track them statically.
@btn_small_height: 24px;
@btn_mini_height: 22px;
@dark_dashboard_color: @breadcrumb-color;
ul#tabs {
margin-bottom: @dashboard_tb_pad;
}
ul#tabs a {
padding-top: @dashboard_tb_pad + 2px;
padding-bottom: @dashboard_tb_pad;
}
ul.breadcrumb {
a:focus, a:hover {
text-decoration: none;
}
i.icon-home {
font-size: 16px;
margin-right: 4px;
}
span {
color: @dark_dashboard_color;
}
}
.list_toolbar {
padding: @dashboard_tb_pad 0 @dashboard_tb_pad 0;
vertical-align: middle;
.tree-buttons {
padding-top: 2px;
}
}
.list_toolbar [class*="span"] {
min-height: @btn_small_height;
}
.list_header {
font-weight: bold;
}
.list_container {
margin-top: @dashboard_tb_pad;
margin-bottom: 5*@dashboard_tb_pad;
border: 1px solid @border_color;
border-radius: 4px;
}
.list_container > div {
border-bottom: 1px solid @border_color;
&:hover .list-item{
background-color: red;
};
}
.list_container > div:last-child {
border: none;
}
.list_item {
&:hover .list_item {
background-color: #ddd;
};
a {text-decoration: none;}
}
.action_col {
text-align: right;
}
.list_header>div, .list_item>div {
padding-top: @dashboard_tb_pad;
padding-bottom: @dashboard_tb_pad;
padding-left: @dashboard_lr_pad;
padding-right: @dashboard_lr_pad;
line-height: @btn_mini_height;
}
.item_name {
line-height: @btn_mini_height;
height: @btn_small_height;
}
.item_icon {
font-size: 14px;
color: @dark_dashboard_color;
margin-right: @dashboard_lr_pad;
}
.item_buttons {
line-height: 1em;
}
.toolbar_info {
height: @btn_small_height;
line-height: @btn_small_height;
}
input.nbname_input, input.engine_num_input {
// These settings give these inputs a height that matches @btn_mini_height = 22
padding-top: 3px;
padding-bottom: 3px;
height: @btn_mini_height;
line-height: 14px;
margin: 0px;
}
input.engine_num_input {
width: 60px;
}
.highlight_text {
color: blue;
}
#project_name > .breadcrumb {
padding: 0px;
margin-bottom: 0px;
background-color: transparent;
font-weight: bold;
}
.tab-content .row {
margin-left: 0px;
margin-right: 0px;
}
.folder_icon:before {
.icon(@folder-close-alt)
}
.notebook_icon:before {
.icon(@book)
}