Merge pull request #22 from odersky/add-banner

Enlarge title

_layouts/post.html

@@ -4,7 +4,7 @@
 
 <article class="post">
     <header>
-        <h1>{{ page.title }}</h1>
+        <title>{{ page.title }}</title>
         <p class="post-meta">{{ page.date | date: "%b %-d, %Y" }}</p>
     </header>
     {{ content }}