body {
  margin: 20px;
  color: gray;
  /*font-family: Roboto Thin, Helvetica, Arial, sans-serif;*/
  font-family: monospace;
}

/* unvisited link */
a:link {
  color: gray;
  text-decoration:none;
}

/* visited link */
a:visited {
  color: gray;
}

/* mouse over link */
a:hover {
  color: lightgray;
  text-decoration: none;
}

/* selected link */
a:active {
  color: gray;
}