Theme compat. tweaks to live notifications panel. See #124