mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-04-24 14:20:54 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1759 from gnestor/terminal-style

Browse Source 
Fix terminal styles

Fixes #1724
This commit is contained in:
Yuvi Panda 2016-09-12 11:08:30 -07:00 committed by GitHub
commit e0bcb7deb4
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
notebook/static/terminal/less/terminal.less
View File

@ -7,6 +7,7 @@
}
.terminal {
width: 100%;
float: left;
font-family: monospace;
color: white;
@ -19,6 +20,10 @@
line-height: 1em;
font-size: @notebook_font_size;
}
.xterm-rows {
padding: 10px;
}
}
.terminal-cursor {