[pitivi] docs: Use the default theme and use uploader hotdoc plugin

[Thibault Saunier <tsaunier src gnome org>]

commit 8be213a03e945fbe3465db0a64125700ed78ec61
Author: Thibault Saunier <tsaunier gnome org>
Date:   Thu Mar 30 09:32:26 2017 -0300

    docs: Use the default theme and use uploader hotdoc plugin

 docs/extra/templates/brand-logo.html |    1 +
 docs/extra/templates/extra_head.html |    1 +
 docs/extra/templates/navbar.html     |   28 ----------------------------
 docs/hotdoc.json                     |    3 ++-
 docs/{extra => }/images/favicon.png  |  Bin 1426 -> 1426 bytes
 5 files changed, 4 insertions(+), 29 deletions(-)
---
diff --git a/docs/extra/templates/brand-logo.html b/docs/extra/templates/brand-logo.html
new file mode 100644
index 0000000..f210f77
--- /dev/null
+++ b/docs/extra/templates/brand-logo.html
@@ -0,0 +1 @@
+<img src="images/favicon.png" alt=Home> Pitivi
diff --git a/docs/extra/templates/extra_head.html b/docs/extra/templates/extra_head.html
new file mode 100644
index 0000000..4187ac1
--- /dev/null
+++ b/docs/extra/templates/extra_head.html
@@ -0,0 +1 @@
+<link rel="shortcut icon" href="images/favicon.png">
diff --git a/docs/hotdoc.json b/docs/hotdoc.json
index ac8680d..00603b8 100644
--- a/docs/hotdoc.json
+++ b/docs/hotdoc.json
@@ -7,5 +7,6 @@
     "project_version": "1.0",
     "sitemap": "sitemap.txt",
     "syntax_highlighting_activate": true,
-    "html_extra_theme": "extra"
+    "html_extra_theme": "extra",
+    "git_upload_repository": "git github com:pitivi/pitivi.github.io.git"
 }