fixes #128: do not hard-code Bootstrap themes or highlight themes in documentation