##// END OF EJS Templates
Backport PR #8000: Fix rename issues in dashboard...
Backport PR #8000: Fix rename issues in dashboard - Do not display the full path of the selected item in the text box (**warning** : this removes the possibility of moving a file/folder using the rename dialog. Maybe someone finds this helpful) - Adapt dialog for files and notebook. - Do not allow renaming a running notebook (currently, renaming a running notebook would result in duplication instead of renaming after the open notebook saves/autosaves using the old name)

File last commit:

r19814:eb27a16e
r20876:86af759b
Show More
terminal.less
32 lines | 567 B | text/x-less | LessCssLexer
.terminal-app {
background: @page-backdrop-color;
#header {
background: @body-bg;
.box-shadow(@global-shadow);
}
.terminal {
float: left;
font-family: monospace;
color: white;
background: black;
padding: @code_padding;
border-radius: @border-radius-base;
.box-shadow(@global-shadow-dark);
&, dummy-screen {
line-height: 1em;
font-size: @notebook_font_size;
}
}
.terminal-cursor {
color: black;
background: white;
}
#terminado-container {
margin-top: @page-header-padding;
}
}