/* This is for hiding the workspace switcher popup, since
   github.com/windsorschmidt/disable-workspace-switcher-popup/
   seems to have mysteriously stopped working on 2021-10-04.
   This trick comes from https://askubuntu.com/questions/1316680/\
   how-to-hide-workspace-switcher-popup.
*/

.workspace-switcher-container,
.workspace-switcher-container * {
    background: transparent;    
    border: none;
    box-shadow: none;
}