body {
  color: black;
  background-color: white;
}

h1, h2, h3 {
  font-weight: bold;
  border-width: 0px 0px 1px 1em;
  border-style: solid;
  padding: 0.2em;
}

h1 {
  font-size: x-large;
  background-color: #e6e6fa;
  border-color: navy;
}

h2 {
  font-size: large;
  background-color: #fae6e6;
  border-color: #800000;
}

h3 {
  font-size: medium;
  background-color: #e6fae6;
  border-color: #008080;
}

pre {
  background-color: #e6e6e6;
  border: 1px dotted #646464;
  margin-left: 0.5em;
  margin-right: 0.5em;
  padding: 0.5em;
  white-space: pre;
  cursor: text;
}

img {
  cursor: crosshair;
}
