improve devtools looks somewhat and make them work up to current nightly

[themes.git] / LCARStrek / devtools / dark-theme.css

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index ad4c3ebf40f615136e1daba2c8fecfa393725313..7ecfc02f915107a6900ea0997ffe6938d989102e 100644 (file)
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -383,18 +383,29 @@ div.CodeMirror span.eval-text {
 
 .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::-moz-placeholder,
+.devtools-searchinput::-moz-placeholder,
+.devtools-filterinput::-moz-placeholder,
+.devtools-plaininput::-moz-placeholder {
+  color: #8050B0;
+  opacity: 1.0;
+}
+
 .CodeMirror-Tern-fname {
   color: #A09090;
 }