Use a new bootstrap based theme for docs
Fix Any-DB links in doc-strings