.devtools-textinput,
.devtools-searchinput,
-.devtools-filterinput {
+.devtools-filterinput,
+.devtools-plaininput {
background-color: #000000;
color: #E7ADE7;
border: 1px solid #9C9CFF;
+ border-radius: 3px;
}
.devtools-textinput:focus,
.devtools-searchinput:focus,
-.devtools-filterinput:focus {
+.devtools-filterinput:focus,
+.devtools-plaininput:focus {
border-color: #008484;
}
+.devtools-textinput::placeholder,
+.devtools-searchinput::placeholder,
+.devtools-filterinput::placeholder,
+.devtools-plaininput::placeholder {
+ color: #8050B0;
+ opacity: 1.0;
+}
+
.CodeMirror-Tern-fname {
color: #A09090;
}