You are correct. They did make their own font. Which seemed like a very strange expense to me. Even though I use Dropbox heavily, I'll almost never see their font. Dropbox is used mostly through the OS's file manager.