From 34ef07db7be7d9c9830fbbf6f24acca312466308 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juli=C3=A1n=20M=C3=A9ndez?= <menoc.sk27@gmail.com>
Date: Wed, 30 Oct 2024 15:02:03 +0100
Subject: [PATCH] bring back colors

---
 frontend/public/js/main/main.js           | 4 ++++
 frontend/public/style/widgets/general.css | 8 ++++++++
 2 files changed, 12 insertions(+)

diff --git a/frontend/public/js/main/main.js b/frontend/public/js/main/main.js
index cc6168a..172679a 100644
--- a/frontend/public/js/main/main.js
+++ b/frontend/public/js/main/main.js
@@ -96,8 +96,10 @@ function createConceptDropdowns(concepts) {
       concept.value = k;
       concept.innerHTML = concepts[k].short;
       if (concepts[k].rhs && concepts[k].rhs.length > 0) {
+        concept.classList.add('option-rhs-true');
         toProof.appendChild(concept);
       } else {
+        concept.classList.add('option-rhs-false');
         toCE.appendChild(concept);
       }
     }
@@ -127,9 +129,11 @@ function createConceptDropdowns(concepts) {
       rhsC.innerHTML = concepts[rhsKey].short;
       if (ccs.has(rhsKey)) {
         rhsC.type = "pr";
+        rhsC.classList.add('option-rhs-true');
         toProof.appendChild(rhsC);
       } else {
         rhsC.type = "ce";
+        rhsC.classList.add('option-rhs-false');
         toCE.appendChild(rhsC);
       }
     });
diff --git a/frontend/public/style/widgets/general.css b/frontend/public/style/widgets/general.css
index 98bdcf6..38bed24 100644
--- a/frontend/public/style/widgets/general.css
+++ b/frontend/public/style/widgets/general.css
@@ -430,4 +430,12 @@ span.badge.new {
 
 .wide-row {
 	width: 55%;
+}
+
+.option-rhs-true {
+	background-color: var(--color-teal-light);
+}
+
+.option-rhs-false {
+	background-color: var(--color-orange-light);
 }
\ No newline at end of file