Incorrect styling in Panel Button in Gnome 47 (with suggested fix)

[jakubzet]

After recent update of Gnome, I've noticed that my favorite theme ( 😄 ) has troubles with top panel buttons (as on attached screenshot below).

I was able to find out that that the reason of this issue sits in gnome-shell.css file, basically commenting out the following lines resolved the issue (I've hidden all the unnecessary lines for this case):

#panel .panel-button {
  /* border: 0 none transparent; */
}

#panel .panel-button.clock-display .clock {
  /* border: 0 none transparent; */
}

#panel .panel-button.clock-display:active, #panel .panel-button.clock-display:overview, #panel .panel-button.clock-display:checked, #panel .panel-button.clock-display:focus {
  /* box-shadow: inset 0 -2px #248a76 !important; */
}

#panel .panel-button:active, #panel .panel-button:overview, #panel .panel-button:checked, #panel .panel-button:focus {
  /* box-shadow: inset 0 -2px #248a76 !important; */
}

In my case the Panel buttons are looking just fine (look at the screenshots below, after above fix), both for the centered calendar button, as for the other ones. Should I prepare a Pull Request for this update (but with lines removed instead of commented out)? I can do so, yet I wasn't really sure if there aren't any ongoing works in progress :)

[jakubzet]

The error disappeared after latest update of Gnome (47.1.1-165-1-x86_64 to 47.2-166-1-x86_64). Seems that was some bug in the Gnome itself, therefore I'm closing this issue :)