Thanks, your extension is really great! Lightweight and minimalistic, exactly what I need.

It would be nice to have some short manual on tweaking it with CSS, though, so as to avoid spending time to examine the sources.