Userscripts.org

First of all, this is an awesome script and very helpful for me in using GTD inside Gmail...so thanks!

Is there a way I can affect the size of the text of the saved searches?

I tried playing with it here...
function addSearchElement(gmail, module, text, search) {
var div = gmail.getNavPaneElement().ownerDocument.createElement('div');
with(div.style) {
background = 'white';
color = 'rgb(125,108,58)';
padding = '4px';
}
But got no result - it seemed to break the script.

Any guidance would be appreciated and again - thanks for the helpful script. By combining this script with Superstars from Gmail Labs, I have a very easy, workable flagging system for my email.