body{
  font-family : Georgia, Verdana, Tahoma, sans-serif;
  margin : 0 0 10px 0;
  padding : 0;
}

#header {
    background-color : #f7f7f7;
    padding : 10px;
    border-bottom : 1px solid #ddd;
    margin-bottom : 10px;
}
#header h1 { margin : 0; }
#header a { text-decoration : none; color : #000; }
#header a:hover { text-decoration : underline; color : #000; }

#content { margin : 10px; }

.file-summary { color : #999; font-size : 11px; }