@charset "utf-8";

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

pre, code {
  overflow-x: auto;
  margin: 1em 0;
  background: #EEE;
  font-size: 90%;
  padding: 0.5em;
  width: 95%;
  font-family: monospace;
  white-space: pre;
  line-height: 1.2;
}

a:hover, a:active {
  text-decoration: none;
  outline: solid 1px;
}
a:link {
  color: #000;
}
a:visited {
  color: #666;
}
a:link:hover {
  background-color: #eee;
  outline-color: #000;
}
a:visited:hover {
  background-color: #eee;
  outline-color: #666;
}