div.slidebody {
  height: auto;
}
p.figure {
  text-align: center;
}
pre {
  color: blue;
}
a:link, a:visited {
  font-style: normal;
}
