@import url('https://fonts.googleapis.com/css?family=Roboto+Mono&display=swap');


body {
    font-family: 'Roboto Mono', monospace;
    font-size: 100%;
    padding: 5%;
}

h1, h2, h3 {
  color: #6623CC;
}

h1 {
  margin-bottom: 0.75em;
  margin-top: 1em;
}

h2 {
  margin-bottom: 0.5em;
  margin-top: 0.75em;
}

h3 {
  padding-bottom: 0.25em;
  padding-top: 0.5em;
}


a, a:visited {
      color: blue;
}

li {
  padding-bottom: 0.5em;
}

.block-color-teal {
  color: rgb(15,123,108);
  fill: rgb(15,123,108);
}

.block-color-red {
  color: rgb(224,62,62);
  fill: rgb(224,62,62);
}

.table-of-contents {
  list-style-type: none;
  font-size: 0.6em;
}