/*Used to format the pre tag on the help page. */
pre {
  background: #EEEEEE;
  border: 1px solid #444444;
  padding: 5px;
}