HTML {
  color: black;
  background: rgb(255,255,255);
}	

BODY {
  color: black;
  background: rgb(255,255,255);
}	

pre {
  background: lightgrey
}

dt {
  font-weight: bold
}