html, body {
  margin: 0;
  padding: 0; }

body {
  font-family: "Helvetica", "Arial", sans-serif;
  font-size: 12px;
  line-height: 150%; }

h1 {
  font-size: 26px; }

h4 {
  margin: 1em 0 0 0; }

a {
  color: #003366; }

pre {
  font: 8pt/150% "Menlo", "Monaco", "Courier New", monospace;
  background-color: #eeeeee;
  padding: 5px; }

textarea.dotfile {
  font-family: "Menlo", "Monaco", "Courier New", monospace; }

input.wide, textarea.wide {
  width: 100%; }

input.larger {
  font-size: 120%;
  font-weight: bold; }

ul.plain {
  margin: 0 0 0 0.5em;
  padding: 0;
  list-style-type: none; }

#banner {
  background-color: #777777;
  color: white;
  text-align: center;
  padding: 0.25em;
  font-weight: bold; }

#header {
  padding-left: 1em; }
  #header a {
    color: #003366;
    text-decoration: none; }
    #header a:hover {
      text-decoration: underline; }

#sidebar {
  float: right;
  width: 190px; }

#popular_dotfiles li {
  color: #888888; }

#footer {
  font-size: 11px;
  line-height: 130%;
  color: #666666;
  margin: 0 1em 1em 1em;
  padding-top: 1em;
  clear: left;
  border-top: 1px solid #dddddd; }
  #footer a {
    color: #666666;
    text-decoration: none; }

#wrapper {
  float: left;
  width: 100%; }

#body {
  padding: 0 1em 1em 1em;
  margin-right: 200px; }