[dev] Remove outdated selector now that cache has expired

Change-Id: Ia3f914c96f03e3c70c3cb4c8d7de96f34cb4b1f5
This commit is contained in:
Volker E 2020-05-28 11:55:58 -07:00 committed by Jdlrobson
parent 7f981d35e3
commit 4b30bceda3

View file

@ -4,9 +4,7 @@
#mw-panel { #mw-panel {
font-size: @font-size-nav-main; font-size: @font-size-nav-main;
.portal-first, .portal-first {
/* FIXME: For caching. Can be removed in a week from the git blame commit id of this line. */
#p-logo + .portal {
background-image: none; background-image: none;
h3 { h3 {