html {
  font-family: -apple-system, BlinkMacSystemFont, "Avenir Next", Avenir, "Nimbus Sans L", Roboto, Noto, "Segoe UI", Arial, Helvetica, "Helvetica Neue", sans-serif;
  scroll-behavior: smooth;
}


img {
  max-width: 600px;
}

body {
  font-size: 12px;
}

div.infobox {
  border-radius: 5px;
  background-color: #f2f2f2;
  padding: 20px;
}

pre {
	font-size: 75%;
}

hr {
	border: 0;
	border-top: 1px solid #eee;
	margin: 5px 0;
}

.delicate {
    font-size: 75%;
    color: gray;
}

h1 {
    font-size: 140%;
}

h2 {
    font-size: 110%;
}

.quote {
    font-family: Georgia, serif;
    font-style: italic;
}

hr.whitehr {
	border: 0;
	border-top: 1px solid #fff;
	margin: 5px 0;
}

.prompt {
    font-family: Georgia, serif;
    font-weight: 600;
}

ul.clean {
  list-style-type: none;
}