Add .color-red.

kohler · Mar 8, 2024 · 99dd233 · 99dd233
1 parent 1822bfa
commit 99dd233
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/src/assigners/a_unsubmitreview.php b/src/assigners/a_unsubmitreview.php
@@ -46,7 +46,7 @@ function apply(PaperInfo $prow, Contact $contact, $req, AssignmentState $state)
         $rarg0 = trim((string) $req["round"]);
         $oldround = null;
         if ($rarg0 !== ""
-            && strcasecmp($rarg0, "any") != 0
+            && strcasecmp($rarg0, "any") !== 0
             && ($oldround = $state->conf->round_number($rarg0)) === null) {
             return new AssignmentError("<0>Review round ‘{$rarg0}’ not found");
         }

diff --git a/stylesheets/style.css b/stylesheets/style.css
@@ -22,19 +22,13 @@ body {
 select, button {
 	color: #222222;
 }
-.text-color {
-	color: #333333;
-}
 
 .dark {
 	color: white;
 }
 .dark select, .dark button {
 	color: #eeeeee;
 }
-.dark .text-color {
-	color: white;
-}
 
 :link, :visited, .link {
 	color: #004daa;
@@ -66,6 +60,9 @@ select, button {
 .dim {
 	color: #888888;
 }
+.color-red {
+	color: #ff0000;
+}
 
 .ps-withdrawn {
 	color: #333333;