article {
  margin-left: auto;
  margin-right: auto;
  max-width: 820px;
}

img {
  max-width: 820px;
  /* width: 400px; */
  /* height: 300px; */
}

@media all and (max-width: 900px) {
  img {
    max-width: 90vw;
  }
}

em,
abbr {
  font-weight: 600;
}

.figure {
  margin-top: 20px;
}

.figure-text {
  font-size: 80%;
}

.reference-link {
  color: #0080c0;
  cursor: pointer;
  font-size: 70%;
  position: relative;
  top: -0.5em;
  user-select: none;
}

body {
  color: rgb(40, 40, 40);
  font-size: 110%;
  line-height: 1.6;
  padding-top: 10px;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Roboto", "Oxygen",
    "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue",
    sans-serif;
}

.reference {
  background-color: #f2f2f2;
  border-radius: 7px;
  border: 1px solid #f2f2f2;
  box-sizing: border-box;
  cursor: pointer;
  display: none;
  font-size: 80%;
  padding: 0 20px;
}

.reference ~ .reference {
  margin-top: 10px;
}

* {
  outline: none;
}

a {
  color: #0080c0;
  border-bottom: 1px solid #0080c0;
  padding-bottom: 2px;
  text-decoration: none;
  transition-duration: 250ms;
  transition-property: border-bottom;
  user-select: none;
}

a:visited {
  color: #0080c0;
}

a:hover {
  border-bottom: 1px solid #80c0e0;
  text-decoration: none;
  transition-duration: 250ms;
  transition-property: border-bottom;
}

a:active {
  color: #80c0e0;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: #0080c0;
}

h2,
h3,
h4,
h5,
h6 {
  padding-top: 0.4em;
}

h1 {
  font-size: 155%;
}

h2 {
  border-bottom: 2px solid rgb(238, 238, 238);
  font-size: 120%;
}

h3 {
  font-size: 113%;
}

h4 {
  font-size: 107%;
}

ul {
  /* list-style-type: disc; */
  list-style-type: none;
}
ul li {
  /* margin-left: -10px; */
  margin-bottom: 10px;
}
ul li:before {
  content: "\2022";
  margin-right: 10px;
  color: #0080c0;
  margin-left: -1em;
}
/*
ul li ul {
}
*/
ul li ul li:before {
  content: "-";
  color: #0080c0;
}

ul li ul li {
  list-style-type: none;
  margin-left: -20px;
  margin-bottom: 0px;
  text-indent: -6px;
}

.footer {
  font-size: 80%;
}

.cursor-initial {
  cursor: initial;
}