body {
  margin-left: 40px;
  margin-right: 40px;
  margin-top: 20px;
  width: 600px; }
tt {color: green }
pre {color: green }
dt { font-weight: bold; margin-top: 1em }
dd { margin-top: .5em; width: 500px }