body {
  font:12px sans-serif;
  margin:4px;
  padding:0px;
}

h1 {
  font-size:18px;
  display:inline;  
}

h2 {
  font-size:16px;
  display:inline;  
}

h3 {
  font-size:14px;
  display:inline;
}

p {
  font-size:12px;
  margin-left:16px;
  width:80%;
}

pre {
  font:12px courier;
  background-color:#eee;
  padding:2px;
  width:80%;
}

code {
  font:12px courier;
}

#content {
	margin-left:16px;
}

#top-menu h2 {
  margin-left:2px;
  margin-right:2px;
}


#credits h1 {
  font-size:14px;
  display:inline;
}

#credits h2 {
  font-size:12px;
}