diff --git a/resources/widgets.scss b/resources/widgets.scss index 96d2ba9..ea9096c 100644 --- a/resources/widgets.scss +++ b/resources/widgets.scss @@ -797,7 +797,7 @@ ul.errorlist { align-self: center !important; } -body { +.a-problem { font-size: 15px; line-height: 1.8; font-weight: normal; @@ -810,10 +810,10 @@ a { } button:hover, button:focus { - text-decoration: none !important; - outline: none !important; - -webkit-box-shadow: none !important; - box-shadow: none !important; + text-decoration: none; + outline: none; + -webkit-box-shadow: none; + box-shadow: none; } .btn { diff --git a/templates/problem/problem.html b/templates/problem/problem.html index acf56f3..9fb3444 100644 --- a/templates/problem/problem.html +++ b/templates/problem/problem.html @@ -178,31 +178,31 @@ {% if request.user.is_authenticated and has_submissions %}
- {{ _('My submissions') }} + {{ _('My submissions') }}
{% endif %} -
{{ _('All submissions') }}
-
{{ _('Best submissions') }}
+
{{ _('All submissions') }}
+
{{ _('Best submissions') }}
{% if editorial and editorial.is_public and not (request.user.is_authenticated and request.in_contest_mode) %}
-
{{ _('Read editorial') }}
+
{{ _('Read editorial') }}
{% endif %} {% if can_edit_problem %}
- {{ _('Manage tickets') }} + {{ _('Manage tickets') }} {% if num_open_tickets %}{{ num_open_tickets }}{% endif %}
-
{{ _('Edit problem') }}
+
{{ _('Edit problem') }}
{% if not problem.is_manually_managed %} -
{{ _('Edit test data') }}
+
{{ _('Edit test data') }}
{% endif %} {% elif request.user.is_authenticated and has_tickets %}
- {{ _('My tickets') }} + {{ _('My tickets') }} {% if num_open_tickets %}{{ num_open_tickets }}{% endif %}
@@ -210,13 +210,13 @@ {% if problem.is_subs_manageable_by(request.user) %}
- {{ _('Manage submissions') }} + {{ _('Manage submissions') }}
{% endif %} {% if perms.judge.clone_problem %}
- {{ _('Clone problem') }} + {{ _('Clone problem') }}
{% endif %}