Add salt manual

> Did you mean that dropdown.css means it works on mobile, or just desktop? (My reading of the bootstrap thing is that it's only gone in bootstrap 3, while we're on 2.3.2.)

Ah, ok, then the dropdown css wouldn't be needed.

> Here's a (shaky) recording of the menu on Firefox mobile, it just isn't working for me right now and the same in Chrome mobile: http://m0dlx.com/~dominic/2014-09-23-121310.webm

Yea, that's why it was removed in Bootstrap 3, it doesn't work in most mobile browsers (since there's no concept of hovering).