Renamed and started documented some theme manager API. Still more
refactorings to do.