From 613aa4c88f44038fc2a7abd0de12d7db034efafe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20Mart=C3=ADnez=20Portela?= Date: Tue, 1 Nov 2022 12:19:34 +0100 Subject: [PATCH] Make result-bot TODO tag more badge-like. --- static/style.css | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/static/style.css b/static/style.css index 1dab804..6c43e2d 100644 --- a/static/style.css +++ b/static/style.css @@ -93,8 +93,13 @@ body nav input { } .results-box li h2.is-todo::before { - content: ' [TODO] '; - color: #D00; + content: 'TODO'; + display: inline-block; + background-color: #D00; + padding: 0.25ex; + border-radius: 4px; + font-size: 90%; + margin-right: 0.5ex; } .no-results-box {