##// END OF EJS Templates
proportional font-size when editing heading cells...
proportional font-size when editing heading cells @MinRK @takluyver and I had the idea to do this when we were discussing #6225.

File last commit:

r17467:419586d3
r17467:419586d3
Show More
textcell.less
50 lines | 1.0 KiB | text/x-less | LessCssLexer
div.text_cell {
padding: 5px 5px 5px 0px;
.hbox();
}
@media (max-width: 480px) {
// 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;
}
a.anchor-link:link {
text-decoration: none;
padding: 0px 20px;
visibility: hidden;
}
h1,h2,h3,h4,h5,h6 {
&:hover .anchor-link {
visibility: visible;
}
}
div.cell.text_cell.rendered {
padding: 0px;
}
.cm-s-heading-1,
.cm-s-heading-2,
.cm-s-heading-3,
.cm-s-heading-4,
.cm-s-heading-5,
.cm-s-heading-6 { font-weight: bold;}
.cm-s-heading-1 { font-size:150%; }
.cm-s-heading-2 { font-size: 130%; }
.cm-s-heading-3 { font-size: 120%; }
.cm-s-heading-4 { font-size: 110%; }
.cm-s-heading-5 { font-size: 100%; }
.cm-s-heading-6 { font-size: 90%; }