Como remover cantos arredondados no Kali Linux (kali-rolling)

Question

Em /usr/share/themes/my_custom_theme/gnome-shell/gnome-shell.css tenho:

@import url("/usr/share/gnome-shell/theme/gnome-shell.css");

/* GLOBALS */

#panel .panel-corner,
#panel .panel-corner:focus,
#panel .panel-corner:active,
#panel .panel-corner:overview,
#panel .panel-corner.lock-screen,
#panel .panel-corner.login-screen,
#panel .panel-corner.unlock-screen {
    -panel-corner-border-width: 2px;
    -panel-corner-radius: 0px;
    -panel-corner-background-color: transparent;
    -panel-corner-border-width: 0px;
    -panel-corner-border-color: transparent; 
}

Estou tentando remover os cantos arredondados, mas isso não parece ter efeito algum nesse sentido. O que estou perdendo para fazer isso funcionar?

Obrigado a todos antecipadamente.