Adjust workbench styles

app/analysis/templates/analysis_occurence_codeview.html

@@ -1,6 +1,6 @@
 <div class="split-panel-block">
     <div id="language" hidden="true">{{ language }}</div>
-    <div id="highlight-theme" hidden="true">{% if user is defined and user.dark_theme %}atomic{% else %}eclipse{% endif
+    <div id="highlight-theme" hidden="true">{% if user is defined and user.dark_theme %}atomic{% else %}droide{% endif
         %}</div>
     <div id="anchor-line" hidden="true">{{ hl_lines }}</div>
     <!-- Begin toolbar -->

app/base/static/assets/css/grepmarx-workbench.css

@@ -125,10 +125,15 @@ mark, .mark {
     padding-right: 5.5em;
 }
 
-/* Force englighter.js font and background */
+/* Force englighter.js font and background
 .enlighter {
     font-size: 1.05em !important;
     background-color: white !important;
+}*/
+
+/* Fix table-head-fixed thead font color in dark mode */
+.dark-mode .table.table-head-fixed thead tr:nth-child(1) th {
+    color: white;
 }
 
 /* Occurences table fixed columns sizes */
@@ -184,21 +189,6 @@ mark, .mark {
     background-color: var(--gray-dark) !important;
 }
 
-/* ERROR severity is red */
-.severity-high {
-    color: var(--bs-danger);
-}
-
-/* WARNING severity is orange */
-.severity-medium {
-    color: var(--bs-warning);
-}
-
-/* INFO severity is yellow */
-.severity-low {
-    color: var(--bs-info);
-}
-
 /* Larger modal dialog for occurence details */
 .modal-occurence-details {
     max-width: 800px;