diff --git a/static/style.css b/static/style.css index adfb0bd..da4d0e7 100644 --- a/static/style.css +++ b/static/style.css @@ -422,6 +422,12 @@ body > .ui.page.dimmer { color: #78909C; } +:not(.status_detail).status.skipped, +.title:hover .status_detail.status.skipped, +.title.active .status_detail.status.skipped { + color: #FF5722; +} + :not(.status_detail).status.compiling { color: #00b5ad; } diff --git a/views/util.ejs b/views/util.ejs index 709e0db..dd8cab2 100644 --- a/views/util.ejs +++ b/views/util.ejs @@ -33,6 +33,7 @@ this.icon = { 'System Error': 'server', 'No Testdata': 'folder open outline', 'Partially Correct': 'minus', - 'Judgement Failed': 'ban' + 'Judgement Failed': 'server', + 'Skipped': 'ban' }; %>