##// END OF EJS Templates
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution

File last commit:

r13791:c0f1bef5
r14248:94c28bc6
Show More
textcell.less
34 lines | 607 B | text/x-less | LessCssLexer
div.text_cell {
padding: 5px 5px 5px 0px;
.hbox();
}
div.text_cell_input {
color: @textColor;
border: 1px solid @light_border_color;
.corner-all;
background: @cell_background;
}
div.text_cell_render {
/*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/
outline: none;
resize: none;
width: inherit;
border-style: none;
padding: 5px;
color: @textColor;
}
a.anchor-link:link {
text-decoration: none;
padding: 0px 20px;
visibility: hidden;
}
h1,h2,h3,h4,h5,h6 {
&:hover .anchor-link {
visibility: visible;
}
}