Anton Shestakov <av6@dwimlabs.net>, Tue, 28 Jun 2016 22:36:05 +0800
viewer: restyle regular badges to be a bit more like status badges
In practice, it means: no border, 3px rounded corners and more pronounced text
shadow.
templates/ui/badges.html
Permissions: -rw-r--r--
{% if not check.success %} <span class="uk-badge uk-badge-unknown uk-text-large" title="checking failed">?
</span> {% elif check.errors or check.warnings %} <span class="uk-badge uk-badge-danger uk-text-large" title="{{ locale.translate('{} error', '{} errors', check.errors).format(check.errors) }}"> <span class="uk-badge uk-badge-warning uk-text-large" title="{{ locale.translate('{} warning', '{} warnings', check.warnings).format(check.warnings) }}"> <span class="uk-badge uk-badge-success uk-text-large" title="no lint found">OK
</span>