Please, I beg of you, allow us to use different fonts in our bookmarks! These proportional fonts are killing y productivity - having even a single fixed font would make my life far easier. Being able to change the size or other “formatting” would be nice as well, but getting a fixed font is my ultimate concern. This just can’t be all that difficult, can it?