/* Lab page layout */

body {
  background-color: #c6cfdc;
}

div.body {
  background-color: #fff;
  max-width: 850px;
  padding: 1ex 1ex;
  margin-left: auto;
  margin-right: auto;
}

h1, h2, h3, h4 {
  font-style: italic;
  background-color: #eee;
  padding: .5ex 0em .5ex 2em;
  border-width: 1px 0px;
  border-color: black;
  border-style: solid;
  clear: left;
}

h1 {
  font-size: 1.5em;
  margin: 1.5ex 0em 1.5ex 0em;
}
h2 {
  font-size: 1.2em;
  margin: 1.5ex 0em 1.5ex 0em;
}
h3 {
  font-weight: normal;
  margin: 1.5ex 0em 1.5ex 0em;
}
h4 {
  font-weight: normal;
  margin: 1.5ex 0em 1.5ex 0em;
}

/* Code styling */

pre {
  color: lightgreen;
  background-color: black;
  font-weight: bold;
  padding: 2px;
  border-radius: 2pt;
  overflow-x: auto;
}

/* Floating figures */

div.float {
  float:right;
  text-align: center;
  margin: 0em 0.5em;
}

div.float .figure img {
  max-height: 10em;
  max-width: 40vw;
  z-index: 10;
}

div.float .half-figure img {
  max-height: 10em;
  max-width: 20vw;
  z-index: 10;
}

div.float div.caption {
  font-size: 80%;
}

div.float div.attribution {
  font-style: italic;
  font-size: 60%;
}