summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--dmt/script.js2
-rw-r--r--dmt/style.css4
2 files changed, 3 insertions, 3 deletions
diff --git a/dmt/script.js b/dmt/script.js
index 66e2d31..e6b7b52 100644
--- a/dmt/script.js
+++ b/dmt/script.js
@@ -84,7 +84,7 @@ function touch_job(list, job) {
let result = document.getElementById(`${job.job}_result`);
let log = document.getElementById(`${job.job}_log`);
- let cn = (job.reason == "remove" ? "remove" : job.result);
+ let cn = (job.reason == "remove" ? "standout" : job.result);
box.className = `box ${cn}`;
switch (job.result) {
diff --git a/dmt/style.css b/dmt/style.css
index 5d783b6..915a6cd 100644
--- a/dmt/style.css
+++ b/dmt/style.css
@@ -94,10 +94,10 @@ a:hover {
background-color: #c80000;
}
-.remove {
+.standout {
border-color: #4c0080;
}
-.remove .box-title {
+.standout .box-title {
background-color: #4c0080;
}