/* 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;
}

/* Spoiler blocks */

.spoiler {
  display: none;
  border: 1px solid black;
  border-radius: 2pt;
  padding: 2px;
}

.spoiler .highlight {
  margin: 0;
}

/* Layout tables */

.proofTable, .proofTable th, .proofTable td {
  border: 0px solid #aaa;
  border-top-width: 1px;
  border-bottom-width: 1px;
  border-collapse: collapse;
  padding: 0 0.5em;
}

.studyGuideTable, .studyGuideTable th, .studyGuideTable td {
  border: 1px solid #aaa;
  border-collapse: collapse;
  padding: 0 0.5em;
}