  <ul>
          <li><a href="../posts.html">Posts</a></li>
          <li><a href="../research.html">Research</a></li>
          <li><a href="../free-software.html">Free Software</a></li>
          <li><a href="../about.html">About</a></li>
        </ul>
      </div>
      <!-- A table of contents on the left side, but only for screens
           that are big enough -->
        
    </div>
    <div class="text-space">
      <div id="content">
        <!-- We want to include the RSS/Atom feed in certain scen