##// END OF EJS Templates
Backport PR #8098: Remove image resizer...
Backport PR #8098: Remove image resizer This PR removes the image resizer for images. Removing the resizer helps a lot to solve the image overflow issue in #7701. Related PR: #8062. Before: ![screenshot from 2015-03-20 10 48 02](https://cloud.githubusercontent.com/assets/599274/6756414/624077fa-ceef-11e4-8df2-53d0bdf7338e.png) ...

File last commit:

r20124:e554eb6a
r21016:80ed08e4
Show More
textcell.less
63 lines | 1.2 KiB | text/x-less | LessCssLexer
div.text_cell {
.hbox();
}
@media (max-width: @screen-xs-min) {
// remove prompt indentation on small screens
div.text_cell > div.prompt {
display: none;
}
}
div.text_cell_render {
/*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/
outline: none;
resize: none;
width: inherit;
border-style: none;
padding: 0.5em 0.5em 0.5em @code_padding;
color: @text-color;
.border-box-sizing();
}
a.anchor-link:link {
text-decoration: none;
padding: 0px 20px;
visibility: hidden;
}
h1,h2,h3,h4,h5,h6 {
&:hover .anchor-link {
visibility: visible;
}
}
.text_cell.rendered .input_area {
display: none;
}
.text_cell.unrendered .text_cell_render {
display:none;
}
.cm-header-1,
.cm-header-2,
.cm-header-3,
.cm-header-4,
.cm-header-5,
.cm-header-6 {
font-weight: bold;
font-family: @font-family-sans-serif;
}
.cm-header-1 { font-size: 185.7%; }
.cm-header-2 { font-size: 157.1%; }
.cm-header-3 { font-size: 128.6%; }
.cm-header-4 { font-size: 110%; }
.cm-header-5 {
font-size: 100%;
font-style: italic;
}
.cm-header-6 {
font-size: 100%;
font-style: italic;
}