Customizing docs

Author: heathermiller

docs/index.md

@@ -1,3 +1,3 @@
-## Getting Started
+# Getting Started
 
 ## Installation

docs/theme/base.html

@@ -52,6 +52,7 @@
         <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
         <script src="{{ base_url }}/js/bootstrap-3.0.3.min.js"></script>
         <script src="{{ base_url }}/js/prettify-1.0.min.js"></script>
+        <script src="{{ base_url }}/js/retina.min.js"></script>
         <script src="{{ base_url }}/js/base.js"></script>
     </body>
 </html>

docs/theme/css/bootstrap-custom.min.css

@@ -12,8 +12,9 @@
             </button>
 
             <!-- Main title -->
-            <a class="navbar-brand" href="{{ homepage_url }}">{{ site_name }}</a>
+            <a class="navbar-brand" href="{{ homepage_url }}"><img src="{{ base_url }}/img/pickling-logo.png"/></a>
             <span class="version-number">{{ version }}</span>
+            <!-- <a class="navbar-brand" href="{{ homepage_url }}">{{ site_name }}</a> -->
         </div>
 
         <!-- Expanded navigation -->

docs/theme/img/pickling-logo.png

@@ -1,5 +1,8 @@
 site_name: Scala Pickling
+site_url: http://lampwww.epfl.ch/~hmiller/pickling/
 version: 0.9.0
-
+# pages:
+# - [index.md, Home]
+# - [about.md, About]
 theme_dir: docs/theme
 repo_url: https://github.com/scala/pickling