[ivette] Minor improvements

ivette/src/colors/dark-code.css

@@ -26,7 +26,7 @@
 
 
 .cm-s-dark-code div.CodeMirror-selected {
-  background: var(--info-text-discrete);
+  background: #3e4b5d;
 }
 
 .cm-s-dark-code span.cm-meta { color: #83a598; }

ivette/src/colors/dark.css

@@ -5,6 +5,7 @@
     --disabled-text: #506679;
     --info-text: #748a8d;
     --info-text-discrete: #778d94;
+    --text-highlighted: #d4eaed;
 
     --code-hover: #005137;
     --code-select: #4f3d24;
@@ -29,8 +30,8 @@
     --background-button-hover: #c0c0c0;
     --background-alterning-odd: #354154;
     --background-alterning-even: #475366;
-    --selected-element: #082032;
-    --background-interaction: #5c697b;
+    --selected-element: #68758e;
+    --background-interaction: #4c596b;
 
     --lcd-button-color: #21211a;
     --lcd-button-background: #727798;

ivette/src/colors/light.css

@@ -5,6 +5,7 @@
     --disabled-text: #b0b0b0;
     --info-text: #777;
     --info-text-discrete: #888;
+    --text-highlighted: blue;
 
     --code-hover: lightgreen;
     --code-select: #ffda95;

ivette/src/dome/renderer/controls/style.css

@@ -265,7 +265,6 @@
 .dome-xButton-led {
     display: inline ;
     position: relative ;
-    bottom: -2px ;
     border-color: var(--border) ;
     border-style: solid ;
     border-width: 1px ;

ivette/src/dome/renderer/frame/style.css

@@ -356,8 +356,8 @@
 .dome-xToolBar-control:disabled {
     fill: var(--disabled-text) ;
     color: var(--disabled-text) ;
+    border-color: var(--background-intense) ;
     box-shadow: none ;
-    border-color: var(--border-discrete) ;
 }
 
 /* Selected */
@@ -396,28 +396,33 @@
 
 .dome-xToolBar-group .dome-xToolBar-control {
     margin: 0 ;
-}
-
-.dome-xToolBar-group .dome-xToolBar-control:not(:first-child) {
-    border-left: 0 ;
+    border-radius: 0;
 }
 
 .dome-xToolBar-group > .dome-xToolBar-control:first-child {
-    border-top-right-radius: 0 ;
-    border-bottom-right-radius: 0 ;
+  border-top-left-radius: 4px;
+  border-bottom-left-radius: 4px;
 }
 
 .dome-xToolBar-group > .dome-xToolBar-control:last-child {
-    border-top-left-radius: 0 ;
-    border-bottom-left-radius: 0 ;
+  border-top-right-radius: 4px;
+  border-bottom-right-radius: 4px;
 }
 
-.dome-xToolBar-group > .dome-xToolBar-control:first-child:last-child {
-    border-radius: 4px ;
+.dome-xToolBar-group .dome-xToolBar-control:not(:first-child) {
+    border-left: 0 ;
+}
+
+.dome-xToolBar-group .dome-xToolBar-control:not(:last-child) {
+    border-right: 0 ;
 }
 
-.dome-xToolBar-group > .dome-xToolBar-control:not(:first-child):not(:last-child) {
-    border-radius: 0 ;
+.dome-xToolBar-group .dome-xToolBar-control:not(:disabled):not(:last-child) {
+  border-right: 1px solid var(--border);
+}
+
+.dome-xToolBar-control:disabled + .dome-xToolBar-control:not(:disabled) {
+  border-left: 1px solid var(--border);
 }
 
 /* -------------------------------------------------------------------------- */
@@ -466,6 +471,7 @@
 }
 
 .dome-xToolBar-searchitem {
+    color: var(--text);
     display: block ;
     width: 100% ;
     margin-left: 0px ;

ivette/src/frama-c/kernel/ASTinfo.tsx

@@ -47,9 +47,8 @@ export default function ASTinfo(): JSX.Element {
 
   React.useEffect(() => {
     buffer.clear();
-    if (data) {
-      Utils.printTextWithTags(buffer, data, { css: 'color: blue' });
-    }
+    const style = { css: 'color: var(--text-highlighted)' };
+    if (data) Utils.printTextWithTags(buffer, data, style);
   }, [buffer, data]);
 
   // Callbacks

ivette/src/renderer/style.css

@@ -95,6 +95,11 @@
 /* --- Styling all inputs                                                 --- */
 /* -------------------------------------------------------------------------- */
 
+input[type="search"]::placeholder {
+  font-style: italic;
+  color: var(--text-discrete);
+}
+
 input[type="text"]::placeholder {
   font-style: italic;
   color: var(--text-discrete);