##// END OF EJS Templates
simplify completer logic as we don't exec on behalf of cell...
simplify completer logic as we don't exec on behalf of cell also skip making kernel completion request if kernel is busy

File last commit:

r5199:12e90691
r7174:4297ebc1
Show More
renderedhtml.css
63 lines | 1.8 KiB | text/css | CssLexer
.rendered_html {color: black;}
.rendered_html em {font-style: italic;}
.rendered_html strong {font-weight: bold;}
.rendered_html u {text-decoration: underline;}
.rendered_html :link { text-decoration: underline }
.rendered_html :visited { text-decoration: underline }
.rendered_html h1 {font-size: 197%; margin: .65em 0; font-weight: bold;}
.rendered_html h2 {font-size: 153.9%; margin: .75em 0; font-weight: bold;}
.rendered_html h3 {font-size: 123.1%; margin: .85em 0; font-weight: bold;}
.rendered_html h4 {font-size: 100% margin: 0.95em 0; font-weight: bold;}
.rendered_html h5 {font-size: 85%; margin: 1.5em 0; font-weight: bold;}
.rendered_html h6 {font-size: 77%; margin: 1.65em 0; font-weight: bold;}
.rendered_html ul {list-style:disc; margin: 1em 2em;}
.rendered_html ul ul {list-style:square; margin: 0em 2em;}
.rendered_html ul ul ul {list-style:circle; margin-left: 0em 2em;}
.rendered_html ol {list-style:upper-roman; margin: 1em 2em;}
.rendered_html ol ol {list-style:upper-alpha; margin: 0em 2em;}
.rendered_html ol ol ol {list-style:decimal; margin: 0em 2em;}
.rendered_html ol ol ol ol {list-style:lower-alpha; margin 0em 2em;}
.rendered_html ol ol ol ol ol {list-style:lower-roman; 0em 2em;}
.rendered_html hr {
color: black;
background-color: black;
}
.rendered_html pre {
margin: 1em 2em;
}
.rendered_html blockquote {
margin: 1em 2em;
}
.rendered_html table {
border: 1px solid black;
border-collapse: collapse;
margin: 1em 2em;
}
.rendered_html td {
border: 1px solid black;
text-align: left;
vertical-align: middle;
padding: 4px;
}
.rendered_html th {
border: 1px solid black;
text-align: left;
vertical-align: middle;
padding: 4px;
font-weight: bold;
}
.rendered_html tr {
border: 1px solid black;
}
.rendered_html p + p {
margin-top: 1em;
}