doc theme configurable, fix #874

#874