diff --git a/static/css/theme.css b/static/css/theme.css index ae0927acc1..f99e7551fe 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -1109,7 +1109,7 @@ option { width: 100%; } -#body .navigation a.highlight:after, +#body #topbar .navigation a.highlight:after, #body #sidebar-toggle-span a.highlight:after, #body #top-print-link a.highlight:after, #body #top-github-link a.highlight:after {