index.html.erb

<%= header(blog, h(blog.title)) %>

<div class="row">
  <div class="col-md-1"></div>
  <div class="col-md-4">
    <p><img src="http://guillaume.claret.me/coq.io/images/rooster.jpg" alt="rooster" class="img-rounded img-responsive center-block" /></p>
  </div>
  <div class="col-md-6">
    <h1 class="text-center">Welcome</h1>
    <p class="lead text-center">I am&nbsp;<a href="http://guillaume.claret.me/">Guillaume&nbsp;Claret</a>, a former PhD student in computer science for the&nbsp;<a href="http://www.pps.univ-paris-diderot.fr/pi.r2/">πr²</a> team in Paris. Here I post some articles about things I am doing in&nbsp;<a href="https://coq.inria.fr/">Coq</a>.</p>
  </div>
  <div class="col-md-1"></div>
</div>
<div class="row">
  <div class="col-md-1"></div>
  <div class="col-md-10">
    <h2>Posts <small><%= blog.public_posts.size %></small></h2>
    <ul>
    <% blog.public_posts.each do |post| %>
      <li><a href="<%= u post.url %>"><%= h post.name %></a> <%= post.date_string %></li>
    <% end %>
    </ul>
  </div>
  <div class="col-md-1"></div>
</div>

<%= footer %>