• Files
• Commits
• Log
• Graph
• Stats

body {
  padding-top: 10px;
  background-color: #fff;
  background-image: none;
}

.result {
  color: #f00;
  font-weight: bold;
  margin-left: 2em;
}

#footer {
    padding-top: 0em;
    font-size: 12px; /* increase default size */
}