/* pre { */
    /* font-size: 87.5%; */
/* } */

.prompt {
    min-width: 9ex;
	font-family: "Neucha", -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}

div.input_prompt {
    color: #20c997;
}

div.prompt {
  /* background-color: #f8f8f8; */
  background-color: transparent;
}

.rendered_html :link {
    text-decoration: underline;
}

.rendered_html :visited {
    text-decoration: underline;
	color: #666666
}