#tophead {
  margin-bottom: 40px;
}

/* Added 2024/11/05 for boring technical heading on sessions. */
.subhead {
  margin: -20px 0 50px 20px;
}

h3 {
  margin-top: 50px;
}

/* I have stopped using this, using .code from main.css instead. */
.codeblock {
  margin-left: 30px;
}

#opening-credit {
  font-style: italic;
  margin-left: 65%;
}

figure {
  margin: 20px 0px 20px 20px;
}

figcaption {
  font-size: 75%;
  font-style: italic;
}

.float-right {
  float: right;
  margin-left: 3em;
}

.float-left {
  float: left;
  margin-right: 3em;
}

/* to show errors in a JavaScript interaction */
.errormsg {
  color: red;
}

/* to highlight a string */
.highlight {
  color: rgb(65, 213, 65);
  font-weight: bold;
}

/* to show a footnote inline */
.footnote {
  font-size: smaller;
  font-style: italic;
  margin-left: 30px;
}

/* for code blocks that are like slides to view */
.slideview {
  background-color: lightsteelblue;
  padding: 10px;
}