##// END OF EJS Templates
engine ID metadata should be unicode, not bytes...
engine ID metadata should be unicode, not bytes fixes `TypeError: b'f5b984b0-fd8c-4873-a23e-658425c1e28a' is not JSON serializable` when an engine dies while working on a task in Python 3. candidate for backport

File last commit:

r11291:49a9a8b6
r12539:f0f1be16
Show More
textcell.less
32 lines | 593 B | text/x-less | LessCssLexer
div.text_cell {
padding: 5px 5px 5px 5px;
}
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;
}
}