No, this is not documented in dev-doc. 
I guess we should have a small paragraph on what is needed and hint on how to get it, but not a full list of how to install `lessc`. This should probably be part of a bigger page of the doc that explain how to compile it's own theme for IPython.