##// END OF EJS Templates
Merge pull request #5844 from jdfreder/scrollmanager...
Merge pull request #5844 from jdfreder/scrollmanager 'Paul' scroll feature

File last commit:

r16912:30744239
r17935:f3f0886e 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%);
}