div.developers p {
  font-size: 1.2em;
  line-height: 1.7em;
}

div.developers pre {
  font-size: 1.2em;
  font: monospace;
  margin: 3em 0;
  display; block;
  overflow: visible;
}

div.info_links_extern a
{
text-decoration: none;
font-weight:bold;
}