Change the manual's theme

bbatsov · bbatsov · commit b59729612fef · 2016-03-29T10:16:58.000+03:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -12,3 +12,4 @@ pages:
 - Additional Resources: additional_resources.md
 - Team: team.md
 - Contributing: contributing.md
+theme: mkdocs
