/*
 * session headings
 */

 #tophead {
  margin-bottom: 40px;
}

.subhead {
  margin: -20px 0 50px 20px;
}

/*
 * sections -- marked by h3 headings
 */

h3 {
  margin-top: 50px;
}

/*
 * figures
 */

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

.float-right {
  float: right;
  margin-left: 3em;
  margin-right: 1em;
  margin-top: 1em;
  margin-bottom: 2em;
}

.flush-right {
  margin-right: 0;
}

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

.inline {
  margin: 30px 0 40px 0;
}

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

/*
 * images in tables
 */

table.image-table {
  border: none;
  border-collapse: collapse;
  margin-left: auto;  
  margin-right: auto;
  margin-top: 2em;
  margin-bottom: 2em;
}

tr.image-table,
td.image-table {
  border: none;
  border-collapse: collapse;
}

/*
 * formatted code in error messages and paragraphs
 */

.errormsg {
  font-style: italic;
  color: red;
}

.errordetail {
  color: #DD3333;
}

.output {
  font-style: italic;
  color: green;
}

.highlight {
  color: rgb(65, 213, 65);
  font-weight: bold;
}

/* ----- for operators in code that we want to stand out */

.large-op {
  font-size: x-large;
  font-weight: bold;
}

.epigraph {
  text-align: right;
}

/*
 * a header for steps in a long process
 * for now, a styled paragraph
 */

.major-step {
  font-weight: bold;
}