More Smaller Menus? Rated 5 out of 5 stars

Hi, just upgraded to version 9. I followed advice of somebody from this review page and made the menus further small in version 8. Something like

Any advice as to how to make it smaller again. I copy pasted code from old extension.css to new one but it doesn't work in version 9.

This review is for a previous version of the add-on (9.1-signed).  This user has 2 previous reviews of this add-on.