[ivette] update distributed files

ivette/Makefile.distrib

@@ -93,6 +93,7 @@ DISTRIB_FILES += ivette/src/dome/renderer/controls/gallery.json
 DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/controls/style.css
+DISTRIB_FILES += ivette/src/dome/renderer/dark.css
 DISTRIB_FILES += ivette/src/dome/renderer/data/compare.ts
 DISTRIB_FILES += ivette/src/dome/renderer/data/json.ts
 DISTRIB_FILES += ivette/src/dome/renderer/data/library.js
@@ -112,15 +113,18 @@ DISTRIB_FILES += ivette/src/dome/renderer/layout/forms.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/layout/grids.js
 DISTRIB_FILES += ivette/src/dome/renderer/layout/splitters.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/layout/style.css
+DISTRIB_FILES += ivette/src/dome/renderer/light.css
 DISTRIB_FILES += ivette/src/dome/renderer/style.css
 DISTRIB_FILES += ivette/src/dome/renderer/table/arrays.ts
 DISTRIB_FILES += ivette/src/dome/renderer/table/models.ts
 DISTRIB_FILES += ivette/src/dome/renderer/table/style.css
 DISTRIB_FILES += ivette/src/dome/renderer/table/views.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/text/buffers.ts
+DISTRIB_FILES += ivette/src/dome/renderer/text/dark-code.css
 DISTRIB_FILES += ivette/src/dome/renderer/text/editors.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/text/pages.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/text/style.css
+DISTRIB_FILES += ivette/src/dome/renderer/themes.tsx
 DISTRIB_FILES += ivette/src/dome/template/Application.js
 DISTRIB_FILES += ivette/src/dome/template/Preferences.js
 DISTRIB_FILES += ivette/src/dome/template/babelrc.json
@@ -150,6 +154,7 @@ DISTRIB_FILES += ivette/src/frama-c/kernel/Globals.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/History.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/Locations.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/Messages.tsx
+DISTRIB_FILES += ivette/src/frama-c/kernel/PivotTable-style.css
 DISTRIB_FILES += ivette/src/frama-c/kernel/PivotTable.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/Properties.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.tsx
@@ -178,7 +183,7 @@ DISTRIB_FILES += ivette/src/frama-c/plugins/eva/api/values/index.ts
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.tsx
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/pkg.json
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/summary.css
+DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style_summary.css
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx
 DISTRIB_FILES += ivette/src/frama-c/plugins/pivot/api/general/index.ts
 DISTRIB_FILES += ivette/src/frama-c/plugins/studia/api/studia/index.ts

ivette/headers/header_spec.txt

@@ -93,6 +93,7 @@ src/dome/renderer/controls/gallery.json: .ignore
 src/dome/renderer/controls/icons.tsx: CEA_LGPL
 src/dome/renderer/controls/labels.tsx: CEA_LGPL
 src/dome/renderer/controls/style.css: .ignore
+src/dome/renderer/dark.css: .ignore
 src/dome/renderer/data/compare.ts: CEA_LGPL
 src/dome/renderer/data/json.ts: CEA_LGPL
 src/dome/renderer/data/library.js: CEA_LGPL
@@ -112,15 +113,18 @@ src/dome/renderer/layout/forms.tsx: CEA_LGPL
 src/dome/renderer/layout/grids.js: CEA_LGPL
 src/dome/renderer/layout/splitters.tsx: CEA_LGPL
 src/dome/renderer/layout/style.css: .ignore
+src/dome/renderer/light.css: .ignore
 src/dome/renderer/style.css: .ignore
 src/dome/renderer/table/arrays.ts: CEA_LGPL
 src/dome/renderer/table/models.ts: CEA_LGPL
 src/dome/renderer/table/style.css: .ignore
 src/dome/renderer/table/views.tsx: CEA_LGPL
 src/dome/renderer/text/buffers.ts: CEA_LGPL
+src/dome/renderer/text/dark-code.css: .ignore
 src/dome/renderer/text/editors.tsx: CEA_LGPL
 src/dome/renderer/text/pages.tsx: CEA_LGPL
 src/dome/renderer/text/style.css: .ignore
+src/dome/renderer/themes.tsx: CEA_LGPL
 src/dome/template/Application.js: CEA_LGPL
 src/dome/template/Preferences.js: CEA_LGPL
 src/dome/template/babelrc.json: .ignore
@@ -150,6 +154,7 @@ src/frama-c/kernel/Globals.tsx: CEA_LGPL
 src/frama-c/kernel/History.tsx: CEA_LGPL
 src/frama-c/kernel/Locations.tsx: CEA_LGPL
 src/frama-c/kernel/Messages.tsx: CEA_LGPL
+src/frama-c/kernel/PivotTable-style.css: .ignore
 src/frama-c/kernel/PivotTable.tsx: CEA_LGPL
 src/frama-c/kernel/Properties.tsx: CEA_LGPL
 src/frama-c/kernel/SourceCode.tsx: CEA_LGPL