##// END OF EJS Templates
Merge pull request #7375 from minrk/empty-execute-result...
Merge pull request #7375 from minrk/empty-execute-result ensure data, metadata are set in execute_results

File last commit:

r16912:30744239
r19821:f2858d15 merge
Show More
completer.less
25 lines | 501 B | text/x-less | LessCssLexer
.completions {
position: absolute;
z-index: 10;
overflow: hidden;
border: 1px solid @border_color;
.corner-all;
.box-shadow(0px 6px 10px -1px #adadad);
}
.completions select {
background: white;
outline: none;
border: none;
padding: 0px;
margin: 0px;
overflow: auto;
font-family: @font-family-monospace;
font-size: 110%;
color: @text-color;
width: auto;
}
.completions select option.context {
color: darken(@brand-primary, 10%);
}